首个经过完全验证的ARM机密计算架构原型

字节点击 20220716

  • 机密计算
  • ARM CCA
  • 形式验证

美国哥伦比亚大学研究人员展示了公布了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。我们将协调给予处理。

赞(1)

查看全文

点赞

字节点击

作者最近更新

  • 德国联邦政府拟制定新版太空战略
    字节点击
    2022-10-26
  • 德联邦教研部资助5000 万欧元用于研究创新抗生素
    字节点击
    2022-10-25
  • 德国科学组织联盟发布“能源危机对科研的影响”的立场声明
    字节点击
    2022-10-25

期刊订阅

相关推荐

  • 阿里云上数据安全防护“三步曲”

    2022-03-21

评论0条评论

×
私信给字节点击

点击打开传感搜小程序 - 速览海量产品,精准对接供需

  • 收藏

  • 评论

  • 点赞

  • 分享

收藏文章×

已选择0个收藏夹

新建收藏夹
完成
创建收藏夹 ×
取消 保存

1.点击右上角

2.分享到“朋友圈”或“发送给好友”

×

微信扫一扫，分享到朋友圈

推荐使用浏览器内置分享功能

×

关注微信订阅号

关注微信订阅号，了解更多传感器动态

  • #{faceHtml}

    #{user_name}#{created_at}

    #{content}

    展开

    #{like_count} #{dislike_count} 查看评论 回复

    共#{comment_count}条评论

    加载更多

  • #{ahtml}#{created_at}

    #{content}

    展开

    #{like_count} #{dislike_count} #{reback} 回复

  • #{ahtml}#{created_at}

    #{content}

    展开

    #{like_count} #{dislike_count} 回复

    • 关闭
      广告