ARMv8-M平台开发安全软件的建议

2017-01-10 20:39:00 来源:EEFOCUS
分享到:
标签:

ARM® TrustZone® 是针对片上系统(SoC)设计的系统级安全技术,它基于硬件,内置于CPU和系统内核,为半导体芯片设计师设计设备安全性能(如可信根)量身打造。TrustZone可用于任何基于ARM Cortex®-A的系统,随着全新Cortex-M23和Cortex-M33处理器的发布与升级,Cortex-M也已经支持该技术。从尺寸最小的微控制器(搭载针对Cortex-M处理器优化的TrustZone技术),到高性能处理器(搭载针对Cortex-A处理器优化的TrustZone技术),设计师们终于可以从设计初始就着手打造出色的安全性能了。

TrustZone安全技术将非可信资源和可信资源隔离

 

TrustZone技术的核心理念是将可信资源与非可信资源在硬件上实现隔离。在处理器内部,软件只能安装于安全或非安全域其中一处;在两个域间切换则必须经过Cortex-A处理器的软件(后文称安全监视器)和Cortex-M处理器的硬件(核心逻辑)处理才能执行。这种将安全(可信)域和非安全(非可信)域隔离理念的实现不仅涉及CPU,还涵盖存储、片上总线系统、中断、周边设备接口和SoC上的软件。

 

针对ARMv8-M处理器(Cortex-M)的TrustZone技术

ARMv8-M架构将TrustZone技术拓展至Cortex-M级系统,实现了对所有成本点的安全防护。为Cortex-M度身设计的TrustZone技术可以保护固件和周边设备,并为安全启动、可信更新以及可信根执行实现隔离。该架构具备嵌入式解决方案应有的确定性实时响应能力。同时,因为安全与非安全域间的上下文切换在硬件中完成,所以更快实现转换及更高的电源效率。该架构无需安装任何安全监视器软件,因为处理器本身就能完成切换任务,不仅可以减少存储足迹,还能降低代码执行的动态功率。

 

在继续讨论编程之前,我们先介绍以下几个概念:

1.地址定义安全

2.新增执行状态

3.跨域调用

 

概念1:地址定义安全

第一个需要了解的概念是:地址定义安全,即每一个地址都与一个特定的安全状态相关。Cortex-M处理器采用全新引入的安全属性单元来检查地址的安全状态。根据整体SoC设计,系统级接口可以重写该属性。选择此状态后,该地址还会通过一个存储保护单元(视系统配置而定)。

 

地址定义安全图解

 

概念2:新增执行状态

第二个概念是“新增执行状态”。ARMv7-M和ARMv6-M架构定义了两种执行模式:管理者模式(handler mode)和线程模式(thread mode)。管理者模式是特权模式,可以接入SoC的所有资源;而线程模式则可以设定为特权或非特权两种。凭借TrustZone安全拓展技术,我们可以对处理器模式进行镜像处理,构造安全和非安全两种状态,每种状态都各自包含管理者模式和线程模式。安全状态和处理器模式是正交的,因此可形成4种状态和模式的组合。在安全的存储器中运行软件时,处理器自动设定为安全状态;反之,在非安全存储器中运行软件时,处理器自动设定为非安全状态。这种设计消除了本来用于管理状态切换的安全监控软件的必要性,从而实现减少存储足迹和功耗的目的。

新增正交态

 

概念3:跨域调用

ARMv8-M为实现Cortex-M的性能专门设计,具备确定性实时运行功能。换言之,只要遵守以预先设定的安全状态接入点为基础的特定规则,任何状态下的任何功能都可以直接调用其他状态下的任何其他功能。此外,每个状态都有一个独特的堆栈集和对应的堆栈指示器,用来保护安全域资产。由于无需使用API层管理调度,成本大幅减少。基于预先设定的接入点,调度可以直接读取被调函数。

 

跨域调用

应用案例简述

如下图表介绍了一个使用案例简述。该环境下,用户应用和I/O驱动都处于非安全状态,而系统的启动代码和通讯堆栈则处于安全状态。用户应用调度并转入通讯堆栈以传输、接收数据,而该堆栈将使用非安全状态的I/O驱动来完成界面上的数据传输和接收。

   

所有相似系统环境下,示例软件配置都可以得益于TrustZone技术的安全状态功能:

  • 非安全应用不能接入安全资源,除非通过事先定义好的安全服务功能接入点
  • 安全固件既可以接入安全存储,也可以进入非安全存储
  • 安全和非安全代码可以用不同的定时器制定独立的时间进度

 

每根中断线都可以设置为安全或非安全。安全软件和非安全软件的中断向量表也可以分开。

 

尽管处理器硬件可以为安全软件提供核心保护,但安全软件依然需要谨慎的编写,才能确保整个系统的安全。以下是软件开发商在设计安全软件时必须牢记的三个内容:

使用最新的ARM C语言拓展(ACLE)技术

验证非可信指示

为异步非安全存储修改专门设计

 

建议1:使用最新的ARM C语言拓展技术

经过优化,ARMv8-M的TrustZone技术引入了全新指令,支持安全状态转换。软件开发商再也无需创建封装器来生成这些指令了,他们现在可以使用ARM C语言拓展功能(ACLE)中定义的全新编译器,让软件工具理解上述功能的安全使用,并生成所需的最佳代码。ACLE功能由多家编译器厂商实现并支持,代码非常便捷易用。

 

比如说,在创建可以从非安全状态调度的安全API时,应该使用一个名为“cmse_nonsecure_entry”的全新功能属性来做函数声明。安全状态调度功能使用结束时,处理器中的寄存器仍可能保留一些秘密信息。凭借正确的功能属性,编译器便可自动插入代码,清空R0-R3、R12和应用程序状态寄存器(APSR)中仍保留秘密信息的寄存器,但是寄存器将结果返还给非安全软件的情况除外。寄存器R4到R11有不同的处理方式,因为它们的内容在函数边界保持不变。如果它们的值在函数执行过程中改变,那么就必须在返还非安全调度功能之前改回原值。

 

建议2:验证非可信指标

有时候,非安全代码会提供错误的设计指示,试图接入安全存储。为了彻底杜绝这一可能,ARMv8-M引入了一个全新指令——测试目标(TT)指令。TT指令可以将一个地址的安全属性返还,安全软件即可由此判断该指示指向安全还是非安全地址。

 

为了提高指示检查效率,每个存储区都有一个安全配置定义的区域号。软件可以用区域号判断相邻的存储区是否具有类似的安全属性。

 

TT指令将来自地址值的安全属性和区域号(还有MPU的区域号)返还原软件。如果在存储段的起始和终止地址上使用TT指令,并确定两个地址都处于同一个区域号内时,软件便可迅速判断存储范围(如数据阵列或数据结构)是否完全位于非安全空间。

 

检查指示是否指向安全的区域边界

 

使用上述机制,凭借API调度进安全侧的安全代码即可判断,非安全软件区域发起的指示请求是否具备符合该API的安全属性。通过这种方法,我们可以阻止非安全软件在安全软件中使用API来读取或破坏安全信息。

 

建议3:为异步非安全存储修改专门设计

非安全中断服务程序可以修改正在被安全软件处理的非安全数据。因此,已经通过安全API验证的输入数据可以在经过验证之后被一个非安全的ISR更改。避免这种情况的一个方法就是在安全存储中为那份输入数据建立一个本地副本,并用安全副本进行处理(包括输入数据的验证)以避免非安全存储读取;无法创建该副本时(如在特定存储区域中处理大量数据),则可以选择另一种方法,即对安全属性单元进行编程,以确保该存储区域的安全。

 

总结

确保整个系统的安全性并阻止安全数据泄漏至非安全侧,是安全软件开发商的责任。为实现这一目标,我们向安全软件开发商介绍TrustZone 技术3大关键理念与3个重要使用建议——保护调度函数寄存器数据的ACLE技术、验证指示的TT指令;最后一点开发商也必须牢记,非安全侧可能会通过干扰安全侧来修改数据。欲知更多详情,请点此浏览,为协助您在ARMv8-M处理器上开发安全固件,我们精选了相关文件以供参考。

 
关注与非网微信 ( ee-focus )
限量版产业观察、行业动态、技术大餐每日推荐
享受快时代的精品慢阅读
 

 

继续阅读
与ARM强化合作,英特尔晶圆代工腾飞的节奏?
与ARM强化合作,英特尔晶圆代工腾飞的节奏?

摩尔定律已经持续半个多世纪,从90nm到65nm、45nm再到32nm……。不过,在实际的工艺制造角度,摩尔定律经受到一次又一次将终止的考验和质疑,如2007年intel 开发45nm的HKMG工艺,以及2011年intel 开发22nm的finFET 结构等都是转折点。

ARM新款ISP锁定车用市场,未来将转战IoT

软银集团8月7日公布财报时指出,截至2017年6月30日为止ARM技术人员人数达4,269人、较去年同期增加25%。 软银是在去年宣布以240亿英镑收购ARM。

7纳米战争打响,台积电拉了哪些大客户

台积电(2330)推进先进制程马不停蹄,7纳米将接续10纳米于明年下半年大量产出,抢得技术领先之优势。合作伙伴IP厂商新思科技宣布成功完成台积公司7纳米FinFET制程IP组合的投片。

Arm创新中心入驻全球创新学院(GIX)
Arm创新中心入驻全球创新学院(GIX)

Arm与中国清华大学和美国华盛顿大学共同签署合作备忘录,未来将在全球创新学院(Global Innovation Exchange,GIX)内设立Arm创新中心,致力于培养下一代科技精英人才,加快物联网领域的产学研合作和技术创新。

Xilinx、Arm、Cadence和台积公司共同宣布全球首款采用7纳米工艺的CCIX测试芯片

赛灵思、Arm、Cadence和台积公司今日宣布一项合作,将共同构建首款基于台积7纳米FinFET工艺的支持芯片间缓存一致性(CCIX)的加速器测试芯片,并计划在2018年交付。

更多资讯
抢苹果A11芯片的人工智能风头,英特尔Myriad X VPU哪来的实力?

苹果A11 Bionic SoC有着非常杰出的benchmark分数,然而我认为英特尔的Myriad X VPU未来更具潜力。英特尔子公司Movidus最初设计了第一个Myriad VPU,作为智能手机和其他移动设备的协处理器。Myriad X现在变成了一款独立处理器,而且具有专用的神经计算引擎。

谷歌收购HTC,其实是“抄袭”苹果?

9月26日报道,上周,谷歌宣布收购HTC部分智能手机业务。此举不但重塑了搜索巨人的硬件野心,也代表了科技界大震荡的新趋势,一场争夺用户的大戏正在上演。

奥巴马1年赚4亿,这个事件在他的回忆录要写一笔
奥巴马1年赚4亿,这个事件在他的回忆录要写一笔

据外媒报道,奥巴马一卸任就和妻子米歇尔,签订了一份超过6000万美元(约合人民币4亿元)预付款的天价图书出版合同,创造了美国总统回忆录的最高竞价记录!这样的“天价”著书可以说让奥巴马这位美国历史上第一位黑人总统卸任后也衣食无忧。

芯片制造上重心转移,技术嫁接到汽车芯片
芯片制造上重心转移,技术嫁接到汽车芯片

随着汽车能做的事情越来越多,需要更先进的处理器来驱动汽车,加强汽车控制,并提供娱乐。市场研究机构IDC估计,到2021年,半导体供应商将从汽车市场获得50.1亿美元的收入,比2016年增长52%。

三星半导体部门利润飞涨,堪比整个苹果公司

苹果是全世界市值最大的上市公司,利润率在科技公司中也名列前茅,不过许多人想不到的是,苹果的老对手三星电子,正在依靠业务多元化的优势,在利润方面赶超苹果,甚至将苹果越拉越远。据分析师的预测,三季度和四季度,三星与苹果的差距将会越拉越大。

微话题

年初定的哪些“小目标”没有阵亡?

2017年能耗过半,年初定的哪些“小目标”没有阵亡? ……