首个经过完全验证的ARM机密计算架构原型
美国哥伦比亚大学研究人员展示了公布了ARM机密计算架构（ARM CCA）的关键验证技术，可以保护敏感的私人数据。
ARM CCA是ARMv9-A架构的新功能，依靠固件来管理硬件以执行其安全保证措施，因此固件的正确性和安全性至关重要。过去，工程团队依赖软件测试技术来测试固件的安全性。哥伦比亚大学的最新研究则是通过数学模型来证明软件和硬件的绝对正确性，从而提供最高水平的安全保证。该团队现已公布了 Arm® 机密计算架构 (Arm CCA) 的关键验证技术，这是 Armv9-A 架构的一项新功能。该研究成果于 7 月 12 日在加利福尼亚州卡尔斯巴德举行的第 16 届USENIX 操作系统设计和实施研讨会(OSDI ’22) 上发表，展示了 Arm CCA 固件原型的首次形式验证。
当下，ARM处理器已经部署在全球数十亿台设备上。随着ARM CCA越来越普遍地用于保护用户的私人数据，哥伦比亚大学研究人员展示的验证技术将显著改善数据保护和安全性。 获 取 更多前沿科技 研究 进展访问：https://byteclicks.com
版权声明：除特殊说明外，本站所有文章均为 字节点击 原创内容，采用 BY-NC-SA 知识共享协议。原文链接：https://byteclicks.com/39570.html 转载时请以链接形式标明本文地址。转载本站内容不得用于任何商业目的。本站转载内容版权归原作者所有，文章内容仅代表作者独立观点，不代表字节点击立场。报道中出现的商标、图像版权及专利和其他版权所有的信息属于其合法持有人，只供传递信息之用，非商务用途。如有侵权，请联系 gavin@byteclicks.com。我们将协调给予处理。
