0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

Arm重新定义下一代安全性

安芯教育科技 来源:极术社区 作者:zhifei 2020-11-26 14:22 次阅读

为什么需要Morello 平台?

Arm认为,随着攻击方法的不断发展,要为数十万亿个互联设备的世界实现真正强大的安全性,就必须彻底改变技术公司应对网络威胁的方式。

反过来,这就需要对构建固有的更具网络弹性的芯片平台的新方法进行研究。这正是英国政府发起的一项名为“设计中的数字安全”的计划。

该项目将Arm与包括谷歌和微软在内的其他全球技术领先者聚集在一起,以合作确保从物联网IoT产品智能手机自动驾驶汽车的企业和公众的下一代设备的安全。

2019年初,Arm与剑桥大学开展了合作。它将大学CHERI项目中的概念带入了新的Arm原型架构。2019年1月,该项目获得了英国政府7,000万英镑新资金的大力推动。7月,该项目在设计合作伙伴Digital Security的推动下进一步发展,使投资总额超过1.17亿英镑。

标志着“设计数字安全”计划的关键一步,Arm将开发原型硬件Morello。该设备将使行业合作伙伴能够评估现实场景中一系列原型架构功能的安全性收益。

创建Morello原型板将使Arm承担超过5000万英镑的工程和研究价值。最终目标是设计一个新的基于Arm的平台,这将使不良行为者更加难以完全控制计算系统,即使他们设法破解了该系统。

重新定义下一代安全性

Microsoft的Matt Miller最近进行的研究表明,每年通过安全更新解决的漏洞70%仍然是内存安全问题。CHERI和Arm原型体系结构中使用的硬件功能技术结合了以下内容:

对内存位置(即指针)的引用,以及如何使用这些引用的限制;

可以用来访问的地址范围;

以及他们可以使用哪些功能。

这种组合信息被称为“功能”,因此无法通过软件伪造。通过用程序中的功能替换指针,可以显着提高内存安全性,这是增强安全性的关键步骤。 除了内存安全性之外,还可以使用构件块的功能来进行更细粒度的划分,从而创建出本质上更强大的抵御攻击软件。用简单的语言,分隔可以将关键代码的不同部分隔离在各个“隔离”区域中,而不能访问任何其他区域。这样的想法是,即使攻击者获得了一段代码或数据,他们也将无法访问任何其他代码或数据,从而有效地“困在”了一个小区域。

然而在当今的计算硬件中,当前的架构方法不允许以高效的方式构造细粒度的隔离专区。因此,除了硬件更改之外,提出的新安全方法还需要以全新的方式编写和编译软件代码。 对于程序员来说,要支持这种转变,诸如Morello板之类的商业级硬件平台至关重要,因此他们可以为当今高度复杂的软件工作负载进行实验和原型设计。 这就是为什么Microsoft和Google对“数字安全性设计”项目做出承诺的原因,因为他们的世界一流的编程团队可以创建能够充分利用正在开发的新体系结构功能的新软件。

什么是Morello平台?

“设计数字安全”正式宣布一年之后,2020年10月底,Arm发布了第一个Morello平台版本。

CHERI基础的原型体系结构规范

包含新的C64 ISA和寄存器模型定义。

Morello平台模型

在推出Morello电路板(目标是2022年第一季度)之前,我们已经创建了一个固定的虚拟平台(FVP),称为Morello平台模型。平台模型使用Arm技术创建系统硬件的虚拟模型,可在开发环境中使用。该模拟器包括工具链,软件和文档,将使Morello研究人员和基于DSbD技术的提供商可以在原型评估板实现之前开始编写代码并运行软件。可从Arm的Ecosystem平台模型开发人员页面下载Morello平台模型。

Morello开源软件和工具

使软件堆栈,工具链和开发工具的开发人员能够使用该技术进行实验和原型是必不可少的,我们一直在生态系统合作伙伴中密切合作:

Arm正在与Linaro和剑桥大学合作,向社区提供对支持Morello平台模型的开源软件堆栈和工具链的访问。

Arm对剑桥大学实验性CHERI LLVM工具链的改编包括C / C ++编译器,链接器,调试器,各种实用程序和运行时库。

除平台模型和LLVM编译器外,Arm还提供了其他免费工具来帮助Morello进行原型设计,包括Arm Development Studio的Morello版本。

剑桥大学发布了Morello改编自其开源内存安全的CHERI扩展的FreeBSD操作系统CheriBSD,CheriBSD是CHERI的紧密OS集成的参考设计。

什么是 CHERI?

CHERI 是Capability Hardware Enhanced RISC Instructions的简称。 CHERI(功能硬件增强的RISC指令)利用新的体系结构功能扩展了常规的硬件指令集体系结构(ISA),从而实现了细粒度的内存保护和高度可扩展的软件分区。CHERI内存保护功能允许将历史上内存不安全的编程语言(例如C和C ++)进行修改,以针对许多当前被广泛利用的漏洞提供强大,兼容和有效的保护。CHERI可扩展的分隔功能可对操作系统(OS)和应用程序代码进行细粒度分解,从而以当前体系结构不支持的方式限制安全漏洞的影响。CHERI是一种混合功能架构,因为它能够融合架构能力与常规的基于MMU的架构和微架构,并且基于虚拟内存和C / C ++传统的软件栈。这种方法允许在现有生态系统中进行增量部署,我们已经通过硬件和软件原型验证了这一点。CHERI与完整的硬件-软件堆栈的设计进行交互。 剑桥大学开发了:

ISA进行了更改,以引入体系结构功能,硬件支持的权限描述,可以用它们代替整数虚拟地址来以受保护的方式引用数据,代码和对象;

新的微体系结构表明功能可以在硬件中有效实现,包括标记内存以保护内存中的功能;

这些ISA扩展的正式模型可实现机械化的语句及其安全属性的证明,自动测试生成以及可执行ISA级别模拟器的自动构造。

这些功能使新的软件结构可以在现有软件生态系统内增量部署。通过广泛的原型设计和共同设计,剑桥大学证明并评估了:

使用功能提供细粒度内存保护和可扩展软件分区的新软件构造模型;

语言和编译器扩展,以使用功能来实现内存安全的C和C ++,更高级别的托管语言和外部功能接口(FFI);

操作系统扩展,以使用细粒度的内存保护,并支持使用CHERI的应用程序,包括通过空间,引用和时间内存安全性;

操作系统扩展,提供了新的基于CHERI的抽象,包括内核内和进程内分区,以及新的高效进程间通信(IPC);

应用程序级别的适配,可在CHERI内存保护下正常运行;和

应用程序级别的调整以引入新的和更经济的软件分区。

CHERI是一个硬件/软件/语义协同设计项目,它结合了硬件实现,主流软件堆栈的改编以及形式语义和证明。CHERI思想最初是作为对64位MIPS的修改而开发的,现在也已针对32/64位RISC-V和64位ARMv8-A提出。通过改编广泛使用的开源软件(例如Clang / LLVM,FreeBSD,FreeRTOS)和应用程序(例如WebKit,OpenSSH和PostgreSQL),剑桥大学为CHERI设计了完整的软件堆栈。已经对架构进行了正式建模,并构建了有关其安全性的大量证明,并在其原型中将这些模型用于微架构验证。这些模型还具有支持进一步活动的潜力,例如有关软件和微体系结构的正式证明。 2020年10月,剑桥大学发布了CHERI ISAv8新版本。该ISA版本与Arm的Morello体系结构同步,并提供了其CHERI-RISC-V ISA的成熟版本。

原文标题:Arm正式发布第一个Morello平台版本,重新定义下一代安全性

文章出处:【微信公众号:安芯教育科技】欢迎添加关注!文章转载请注明出处。

责任编辑:haq

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • ARM
    ARM
    +关注

    关注

    134

    文章

    9030

    浏览量

    366552
  • 智能手机
    +关注

    关注

    66

    文章

    18419

    浏览量

    179734
  • 物联网
    +关注

    关注

    2902

    文章

    44122

    浏览量

    370436
  • 自动驾驶
    +关注

    关注

    782

    文章

    13633

    浏览量

    165994

原文标题:Arm正式发布第一个Morello平台版本,重新定义下一代安全性

文章出处:【微信号:Ithingedu,微信公众号:安芯教育科技】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    意法半导体下一代汽车微控制器的战略部署

    ‍‍‍‍‍‍‍‍ 意法半导体致力于帮助汽车行业应对电气化和数字化的挑战,不仅提供现阶段所需的解决方案,未来还提供更强大的统的MCU平台开发战略,通过突破创新支持下一代车辆架构和软件
    的头像 发表于 11-07 14:09 174次阅读

    ICY DOCK M.2转U.2 SSD转接盒如何重新定义M.2 NVMe SSD

    ICY DOCK M.2转U.2 SSD转接盒如何重新定义M.2 NVMe SSD
    的头像 发表于 10-21 18:08 195次阅读
    ICY DOCK M.2转U.2 SSD转接盒如何<b class='flag-5'>重新定义</b>M.2 NVMe SSD

    IaaS+on+DPU(IoD)+下一代高性能算力底座技术白皮书

    大规模生产环境落地应用的条件。某种程度上,IoD 技术已成为下一代高性能算力底座的核心技术与最佳实践。 白皮书下载:*附件:IaaS+on+DPU(IoD)+下一代高性能算力底座+技术白皮书(1).pdf
    发表于 07-24 15:32

    光路科技FR-TSN系列工业交换机:提升下一代互联网的安全与效率

    下一代互联网是个建立在IP技术基础上的新型公共网络,具有更大的地址空间、更快的通信速度、更高的安全性和更丰富的业务类型。光纤通信技术的广泛应用,将为下一代互联网提供更加坚实的网络基础
    的头像 发表于 07-24 13:53 278次阅读
    光路科技FR-TSN系列工业交换机:提升<b class='flag-5'>下一代</b>互联网的<b class='flag-5'>安全</b>与效率

    Tata Communications托管SASE重新定义下一代网络与安全性

    21日 /美通社/ -- Tata Communications今日宣布推出面向全球企业的统/单供应商托管安全访问服务边缘(SASE)。Tata Communications与AI驱动的统
    的头像 发表于 06-23 10:15 382次阅读

    24芯M16插头在下一代技术中的潜力

      德索工程师说道随着科技的飞速发展,下一代技术正逐渐展现出其独特的魅力和潜力。在这背景下,24芯M16插头作为种高性能、多功能的连接器,将在下一代技术中发挥至关重要的作用。以下是
    的头像 发表于 06-15 18:03 282次阅读
    24芯M16插头在<b class='flag-5'>下一代</b>技术中的潜力

    赛轮思与NVIDIA合作,利用生成式AI打造下一代车内体验

    AI 驱动的移动出行创新企业与 NVIDIA 合作,打造下一代车内体验。
    的头像 发表于 05-23 10:12 1191次阅读

    IPv6下一代互联网将为教育体系带来创造的变革

    发生变化。IPv6协议作为新一代的传输数据的标准格式,会使未来的网络空间更具扩展性和安全性,巨大的地址空间也可以使各类应用无处不在。大规模发展IPv6将给互联网核
    的头像 发表于 04-18 15:09 297次阅读
    IPv6<b class='flag-5'>下一代</b>互联网将为教育体系带来创造<b class='flag-5'>性</b>的变革

    使用NVIDIA Holoscan for Media构建下一代直播媒体应用

    NVIDIA Holoscan for Media 现已向所有希望在完全可重复使用的集群上构建下一代直播媒体应用的开发者开放。
    的头像 发表于 04-16 14:04 576次阅读

    瑞萨的40纳米MCU技术正在重新定义嵌入式系统的可能

    从延长便携式设备电池寿命,到提高处理效率和响应能力,瑞萨的40纳米MCU技术正在重新定义嵌入式系统的可能
    的头像 发表于 03-11 15:11 438次阅读

    三星扩大与Arm合作,优化下一代GAA片上系统IP

    三星方面确认,此举目的在于提升无晶圆厂商使用尖端GAA工艺的可能,并缩减新品开发周期及费用。GAA被誉为下一代半导体核心技术,使晶体管性能得以提升,被誉为代工产业“变革者”。
    的头像 发表于 02-21 16:35 717次阅读

    墨芯人工智能CEO王维:需要重新定义和设计AI计算机

    AI时代,我们需要重新定义和设计AI计算机。仅依靠硅基的摩尔定律,2年翻倍的线性增长的算力供给远不能满足指数级增长的需求问题。
    的头像 发表于 01-12 11:12 1012次阅读

    有奖问卷 | 下一代开发工具,由你定义

    下一代开发工具, 应该是怎样的呢? 由你定义! 您的观点和看法将对未来开发工具的提升非常重要,现诚挚地邀请您填写 「下一代开发者体验调查问卷」 (扫描下方二维码填写) 我们希望您的工作内容与 软硬件开发 较为相关,您的角色
    的头像 发表于 12-15 15:50 387次阅读

    如何保障下一代碳化硅 (SiC) 器件的供需平衡

    如何保障下一代碳化硅 (SiC) 器件的供需平衡
    的头像 发表于 11-23 17:00 370次阅读
    如何保障<b class='flag-5'>下一代</b>碳化硅 (SiC) 器件的供需平衡

    ADC中的集成式容PGA:重新定义性能

    电子发烧友网站提供《ADC中的集成式容PGA:重新定义性能.pdf》资料免费下载
    发表于 11-22 10:40 0次下载
    ADC中的集成式容<b class='flag-5'>性</b>PGA:<b class='flag-5'>重新定义</b>性能