Arm Morello 项目 

Morello 是一个研究项目,有望从根本上改变我们未来设计和编写处理器以提升内置安全性的方式。Morello 项目由英国政府的行业战略挑战基金 (ISCF) 数字安全设计 (DSbD) 计划资助并由 Arm 牵头实施,致力于从根本上更新支撑整个全球经济的数字计算基础设施的安全根基。DSbD 的主要预期成果是 Arm 设计和生产的技术平台原型:Morello 评估板。

 

Morello 专注于探索 CPU 架构设计的新方法,以使处理器变得更加稳健,防范某些关键的安全漏洞。Morello 是英国研究与创新总署 (UKRI) 资助的另一项 5 年期研究计划的一部分,将用于研发和测试原型技术,若研发成功,有望应用于未来的硬件中。

 

Arm 正在与剑桥大学和 SRI International 合作开发“能力硬件增强型 RISC 指令”(CHERI) 架构。Arm 已经开发了一种适应 CHERI 硬件概念的原型架构。

 

这种新的网络安全方法需要大量的探索工作,对硬件架构的设计方式及设备端软件的编程方式进行重大变革,从而充分利用新功能。

 

Arm 利用这项新技术设计了一个系统级芯片 (SoC) 原型和 Morello 开发板,便于产业界和学术界的合作伙伴能够在实际用例中测试新的原型架构。

 

时间表

 

Morello 项目于 2019 年 10 月启动,为期 5 年。之后,Arm 于 2022 年 1 月如期发布 Morello 演示板。2022 年期间,数百块 Morello 演示板陆续交付给企业、大学和政府实验室进行实验和评估。Morello 项目的余下时间里,将由行业生态系统进行测试和提供反馈。


开始使用 Morello 板

Research Icon
《Morello 原型架构指南》

详细了解 Morello 原型架构和功能。

Research Icon
《Morello 开发平台和软件入门指南》

这个指南介绍了如何在 Morello 板上构建和使用 Morello 软件栈。

Community Icon
Morello 技术支持论坛

在 Arm 社区上搜索常见问题解答。

 

Morello 新闻聚焦

Morello 研究项目取得重大进展,硬件现已可供测试

Morello 原型板目前正在按计划发布,方便软件开发者和安全专家开始使用 Morello 架构,演示各项硬件能力带来的安全性提升效果。

Arm Morello:它是什么?为何重要?

我们与剑桥大学、Google 和微软合作并共同投资 Morello 项目,使我们得以开展迄今为止业界最具雄心的网络安全项目之一。

 
Morello:探究 Arm 架构中的硬件能力

这场演讲探讨了可持续发展、安全和社会领域的全球技术挑战,吸引了来自世界各地的专业代表参与为期三天的创新内容交流。

技术资源

访问 Morello 的以下资源,包括架构规范、平台模型、Morello 论坛、技术指南等:

Research Icon
Morello 原型架构规范

Morello 架构旨在提高系统的稳健性和安全性。

Software icon
使用 Morello 平台的开源软件

查阅 Linaro 专题页面,了解 Morello Linux 开源软件。

Chipset icon
Morello 平台模型

从开发者网站下载开放访问的固定虚拟平台 (FVP)。

Research Icon
《Morello 技术参考手册 (TRM)》

详细了解 Morello 系统开发平台 (SDP)。

Mainstream packages icon
Morello 开发工具

获取用于软件原型设计和架构探索的专用工具。

Mainstream packages icon
为 Morello 提供支持的内存模型工具

在 github 上获取有关 Morello 架构的支持资源。

下载风格指南学习架构

Morello 评估板申请

访问“数字安全设计”网站。

申请评估板

Morello 原理

Morello 示意图

 

  • CHERI 和 Arm 原型架构中使用的硬件能力技术可限制对内存位置的引用,其作用类似指针,但会限制引用的使用方式,包括对引用所能访问的地址范围和功能的限制。

  • 这种被称作“能力”的综合信息经过特殊构造,确保无法被软件伪造。

  • 在程序中用“能力”替代指针,可显著提高内存安全性,这是保障安全的关键一步。微软的 Matt Miller 在最近的研究中指出,每年通过安全更新修复的漏洞中,约有 70% 仍然属于内存安全问题。

  • 硬件能力技术的作用不仅限于内存安全。“能力”可用作底层构建块,实现更加精细的软件分区。采用精细分区构建的软件可从根本上提升稳健性,更好地抵御攻击。

  • 分区技术的一个强大之处在于,即使某个分区被攻击者攻破,攻击者也无法超出该分区的范围来访问任何其他信息,更无法完全控制计算系统。

 

要实现这种新的安全方法,除了对硬件进行调整外,还需要对代码的编写方式进行重构。代码的编写和编译方式需要改变,以利用新的硬件特性并提升安全防护效果。

原型 Morello 评估板

Morello 评估板

Arm 创建了原型 Morello 评估板,旨在推进广泛的工程与研究工作,对候选技术进行工业级规模的试验。这是首次在英国进行如此大规模的试验。

 

Morello 原型板将提供给合适的软件公司、工具开发者和领先的学术机构。Arm 将广泛发布主要研究成果,以引导和推动行业变革。

 

Morello 原型板需遵守相关的条款和条件

 

注: Morello 技术目前处于研究和测试的早期阶段。Arm 暂无路线图或计划将 Morello 技术纳入任何当前或未来的 Arm 产品或架构。

软件原型设计和开发工具

Morello 演示板为软件开发者提供了一个贴近实际应用、功能强大的基于 Arm 架构的平台。开发者可在 Morello 板上进行试验和测试,研究如何更好地运用精细分区来提高安全性。

 

硬件能力方法将要求采用一种新的编程方法,以充分利用硬件中可用的新功能(包括分区)。

 

微软和 Google 等公司具备强大的编程实力,这对于构建真正能够抵御安全攻击并保持高性能的软件至关重要。

 

程序员可以使用 Morello 原型板来测试各种方法,探索如何更好地应对当今部署在计算系统中的高度复杂的实际软件工作负载。

 

开源软件平台允许多个贡献者共同参与该项目。在 Morello 的开源软件专题页面上,可详细了解模型开发计划、工具链和软件支持。

 

Arm 提供了多种开发工具,有助于软件原型设计和架构探索,包括功能模型、指令模拟器、编译工具链和调试工具。欲了解更多信息,请访问开发工具页面。


Morello 研究合作伙伴

要了解有关 Morello 研究合作伙伴的更多信息,请点击以下徽标: