​ 现在的安全boot方案要么太过复杂,要么被攻击者攻破。在这种情况下,开源的安全boot架构对于设计者和白帽攻击者就很重要了。这篇文章中提出了一种轻量级的安全boot架构,这种架构高效地使用了ECDSA算法、SHA3算法和DMA。另外,架构中包含一个密钥管理单元,其中包含了一个优化的PUF为密钥在SoC上提供安全的模块。这个架构在RISC-V的SoC上得到了验证。

​ Boot是一个安全系统的生命周期中关键的一环,很多攻击发生在这个阶段,比如可以将内核替换为一个已经被污染的内核,使得这个系统变得脆弱。所以安全系统中的一个重要准则就是,为从第一阶段引导到安全应用程序建立信任链。本篇文章提出的安全boot架构,这是第一个为RISC-V SoC构建的以硬件为基础的安全boot架构。本篇文章的架构定义了一个中心化的代码认证单元(CAU),用于验证信任链的完整性,CAU使用了ECDSASHA3。高效利用ECDSA使得PUF可以轻松地对生成的非对称密钥并对其进行更管理,同时CAU使用DMA来进行代码的快速读取和认证。它整体框架如下:

​ 这篇文章主要做出了如下贡献:

  • 提出了一种轻量级的安全boot架构来保证系统完整性和对软件提供商进行验证。
  • 框架中包含了一个密钥管理单元,管理单元中实现了物理不可克隆功能(PUF)。
  • 将代码认证单元整合进了RISC-V SoC。

接下来文章介绍了前人做的工作,RISC-V SoC的整体框架,安全boot的整体框架,安全性分析,性能分析。

背景和基本概念

​ 这里列举提升RISC-V硬件安全的工作,如Shakti-T利用了基地址和界限的概念保证指针只访问合法的区域,SMARTS实现了一个内存保护单元PMU,这些工作保证了DRAM的安全;Keystone是第一个开源的利用RISC-V架构构架的TEE项目;Sanctum介绍了一种基于软件的安全boot和远程认证方式。然而,这些工作都是使用了基于软件的安全boot方式,相较于硬件实现的方式有很多缺点。

什么是Secure boot

​ 在W. A. Arbaugh, D. J. Farber, and J. M. Smith, “A secure and reliable bootstrap architecture,” in Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on. IEEE, 1997, pp. 65–71.这一篇的paper中提出了构建信任链的概念,即启动过程中每一个阶段都要验证下一个阶段的完整性。在UEFI 2.2版本以后都有安全boot的介绍,UEFI通过在boot的每一个阶段都会计算一个哈希值,然后就可以验证签名。如果这个检查失败了,那么boot就会失败;反之,boot的安全性就得到了保证。

​ 当然安全boot有很多变种,如Intel处理器支持安全boot的两种模式,measured modeverified mode,两种模式的信根都是微代码。在measured modeTPM负责签注密钥,verified mode下前一阶段对于后一阶段的验证。另外一种模式,就是通过专门安全处理器,例如AMD将信根置于ROM中。ROM验证安全引导密钥,之后这个密钥将用于验证更大处理器固件代码(在flash中)。

数字签名

​ 数字签名技术是广泛应用的技术,它应用于浏览器和邮件等服务。几乎所有的公钥加密系统都有涉及很难解决的数学问题。如,RSA基于大素数分解难题,而ECC基于椭圆曲线离散对数问题。最流行的签名方案是基于椭圆曲线的ECDSA,最受欢迎的加密方案叫ECIES,最受欢迎的密钥协议叫ECDH。

PUF

PUF 可以利用开机时的状态生产密钥,在商用的产品中,PUF可以用于生成和用户共享的对称密钥,也可以用于生成非对称密钥的随机种子。

RISC-V SoC

​ 这个SoC是利用lowRISC 来构建的,这个SoC集成了安全boot、加密、片外内存验证、密钥管理、密码学运算加速等功能。当然,一个安全的SoC应该从硬件和软件上都是可靠的,构建一个安全的RISC-V安全系统需要利用各种特性去防御针对硬件的攻击和来自运行在其之上的软件的威胁。

  • 密钥管理单元,管理密钥同时将其放置到各个安全模块上。
  • 代码认证单元,用于防御镜像修改、僵尸攻击等,和Boot-Sequencer模块一起用于实现安全boot。
  • 安全Debug,用于抵御一些密钥窃取,非法的debug,probe等测信道攻击。
  • 可信执行环境,就是图中标为4的单元,为应用创造隔离的执行环境。
  • 可信片外存储,抵御测信道攻击的必要模块,同时为可信执行环境提供使用的存储空间。

安全Boot的框架

​ 一个安全的SoC要保证从boot一开始就建立信根,并在OS运行之后一直保持。第一阶段的不变的bootloader位于只读的ROM上,这个阶段的引导将从密码学上验证第二阶段bootloader的签名,之后这个第二阶段的bootloader也会验证下一个阶段软件的签名,以此类推。到了直接链的末尾,一个可信的应用就被建立到SoC的可信执行环境上。

Berkeley Boot Loader

​ RISC-V主要的引导过程指令都被定义在Berkeley Boot Loader中,BBL将执行初始化硬件,建立页表,加载内核,启动内核等任务。整个过程是分多阶段执行的。

  • 第一步,在RISC-V SoC中的ROM中包含了一个裸机程序,这个程序用于加载BBL,首先运行这个程序。
  • 第二步,将BBL加载到DDR内存,实际上BBL的大小是大于ROM的,所以在RISC-V中实际上,有两个选项
    • SD-Boot: BBL 实际上位于外部的SD卡中。
    • 网络启动:这个裸机程序向外发送请求。

​ 加载进来的程序,将会是一个ELF文件包含BBL 也可能包含内核。

  • 第三步,BBL运行在最高权限,执行一系列的初始化后,加载并执行内核。

信根

​ boot的过程起始在ROM中的固定指令,然后跳转到BRAM中。这个过程需要使用CAU单元进行认证。

CAU

​ 代码认证单元用于验证程序的签名,通过验证每一个即将被执行的程序,就可以阻止没有被认证或者被修改过的代码的运行。将ROM中的代码可以直接放置在0x100000的位置,这个位置将直接触发CAU的检查,如果失败,则会直接挂起。

RISC-V上的linux

​ 这里使用linux版本为4.2,一个裸机程序已经直接被预先初始化到BRAM中,ROM的程序会直接跳转到BRAM的位置,开始执行将BBL的代码从SD卡拷贝到DDR。就像前面介绍的一样,Linux不是直接启动的,它是通过BBL启动的,ROM在设置完外设的其实地址后,将跳转到BRAM,这样就不需要BIOS来决定或者计算这些地址。

​ 接下来,在S模式启动linux,当然BBL仍然运行在更高的特权级来服务外设的终端请求。

Boot Sequencer和密钥管理单元

Boot Sequencer 实际上是一个有限状态机,在每个boot stage的时候进行状态切换,Boot Sequencer会调度密钥管理单元将相关的密钥发送给CAU,这样CAU就可以通过ECDSA进行验证签名。现在这里的实现只是一个有限状态机,但是可以优化为一个微控制器。

​ 密钥管理单元实际上负责密钥的生产和传发。TRNG是随机数生成器,PUF前面已经做了介绍,OTP 是一次性存储模块。它们的协作过程如下,首先随机数生产单元生产对称密钥。并放置在存储单元。PUF取出这个密钥,并将其发送到需要的安全模块。CAU的一次性存储单元中存储了一个非对称加密算法中的私钥。

安全性分析

​ 对比传统的安全boot方式,这篇文章的工作的优势如下:

  • 硬件实现的验证方式,性能更高更加节能。
  • 在RISC-V核心上进行SHA3ECDSA运算假设了RISC-V处理器本身是可信的,如果将处理器本身考虑为TCB的一部分,那么随之而来的就是TCB过大的问题,那么就给MeltdownSpectre等漏洞创造了攻击面。另一方面来说,这篇工作中假设CAUBoot Sequencer是可信的,但是RISC-V处理器本身是不可信的。
  • 这篇文章中安全boot的过程是有中心化的CAU进行控制的,所以可以地控制整个引导过程。

性能分析

CAU

CAU主要包含三个模块,1)DMA; 2)SHA1处理单元;3)ECDSA验证单元。DMA由Boot Sequencer进行配置,从内存中读取代码,同使用SHA3单元进行计算,密钥管理单元将公钥发送到CAU,之后有了代码的哈希,签名还有公钥,就可以进行签名的验证。

  1. ECDSA的性能分析,性能优势非常明显:
  2. 通过只存储非0的RC和流水化,提升SHA3执行单元的频率和并减小面积。
  3. 特殊的线性反馈寄存器为随机数的生产提高稳定性。

结论

​ 这个框架利用对于ECDSA, SHA3, PUF等单元的优化,实现了一个轻量级的RISC-V安全boot架构,未来可以做的工作还有,1.支持远程验证,2.将可信执行环境整合进SoC。这篇论文是在看Sanctum时看到的,可以看到对于前人的工作做了很多整合,具体的最大的贡献是提出了CAUBoot Sequencer来进行验证的操作,有两个最大的优势,第一可以避免处理器漏洞对于验证过程本身可信度的威胁;第二是专门的密码学计算单元肯定是可以加速的,但是只是boot加速;可能还有没有体现出来的一点是中心化,可以配置,论文中提出这是未来可以做的点,最后的最后DMA在在这里的意义是否被体现出来,也是值得思考的问题。