2022-07-16 美国 来源：其他 作者：唐乾琛 领域：信息
关键词：
据EurekAlert网7月14日消息，美国哥伦比亚大学研究人员展示了公布了ARM机密计算架构（ARM CCA）的关键验证技术，可以保护敏感的私人数据。ARM CCA是ARMv9-A架构的新功能，依靠固件来管理硬件以执行其安全保证措施，因此固件的正确性和安全性至关重要。过去，工程团队依赖软件测试技术来测试固件的安全性。哥伦比亚大学的最新研究则是通过数学模型来证明软件和硬件的绝对正确性，从而提供最高水平的安全保证。当下，ARM处理器已经部署在全球数十亿台设备上。随着ARM CCA越来越普遍地用于保护用户的私人数据，哥伦比亚大学研究人员展示的验证技术将显著改善数据保护和安全性。
