了解实现早期安全验证的正式技术。
几个月来，我们一直在讨论如何成功验证设计以避免安全弱点和漏洞。在即将到来的Osmosis (OneSpin解决方案，创新和战略会议)用户组活动中，与会者将听到我们最热心的用户之一的第一手信息，他们如何能够确保他们的硬件设计。
为期两天的虚拟会议将于11月3日和4日举行，届时将深入探讨能够实现早期安全验证的正式技术。在由信任与安全产品经理John Hallman所做的题为“为更安全的明天进行验证”的演讲中，将特别关注供应链和包括集成电路(ic)在内的底层硬件的网络攻击主题。与软件相比，集成电路一旦投入使用，打补丁的难度和成本都要高得多——因此，早期识别潜在漏洞变得越来越重要。
John将讨论OneSpin 360正式验证工具和方法，用于对集成到IC中的知识产权(IP)模块和IC本身进行早期安全验证。他将展示这些方法如何适用于更广泛的标准工作和西门子团队中的其他相关工作(哦，对了，如果你还没有听说过，OneSpin现在是OneSpin: A Siemens Business)。在所有这些团队的共同努力下，我们将在开发、制造和集成的早期和整个过程中实现更好的安全实践，从而使我们的终端产品和系统对终端客户更安全。
桑迪亚国家实验室将继续讨论，探索他们如何在安全验证工作中使用OneSpin。Sandia嵌入式系统分析技术项目负责人Vivian Guzman Kammler将介绍一个案例研究“评估第三方知识产权保障的能力”。Vivian指出，在设计遵循永远-从不原则的高结果系统时，高水平的验证严谨性和可分析性是神圣不可侵犯的。依赖第三方供应商来满足任务目标必须与提供数据工件和自省以保证、安全和安全相平衡。卡姆勒女士的团队的任务是评估第三方知识产权保障的商业能力状态。在这次会议上，她将分享OneSpin公用事业如何适应这次评估，以及进一步支持面临这些保证挑战的项目的机会。
当然，该活动将涵盖安全之外的其他正式验证主题，如功能正确性和安全性，以及广泛的用户体验。本次活动将由西门子领导层举办主题会议，回答西门子收购OneSpin对正式意味着什么，以及用正式技术解决未来设计挑战的愿景是什么等迫切的问题。有关这些主题的更多信息，请参阅我们在半导体工程的系统与设计部分中关于渗透的完整博客。
OneSpin的用户可以在这里了解更多关于Osmosis的信息并注册www.onespin.com/osmosis - 2021．
对于那些还没有使用OneSpin的人，您可以在网站上查看去年的Osmosis视频www.onespin.com/resources/videos/osmosis - 2020．
|
|
|
|
|
|
|
|
留下回复