汪自旺，庄 毅，晏祖佳

(南京航空航天大学 计算机科学与技术学院，南京 211106)

1 引 言

目前，ARM处理器芯片占据了移动与嵌入式设备领域的主导地位，为超过60%的嵌入式设备以及超过45亿部智能电话提供芯片支持.其中ARM处理器芯片在智能移动电话的处理器芯片中占比超过95%，到2035年，集成ARM芯片的移动设备估计将达到1万亿部[1].然而，ARM终端的安全风险已成为限制其发展的关键问题，尤其是智能手机和车联网的应用与普及，不可信终端可能会给企业和个人带来严重的安全与隐私泄露风险.在这种情况下，系统与用户程序的完整性保证是实现移动终端可信与安全计算的基本要求与必要条件.

远程证明是验证远程计算设备完整性状态与可信性的过程，表现为被多个实体所接受并共同使用的通用协议[2].标准的TCG(Trusted Computing Group)远程证明[3]过程通过向质询方报告设备的环境指纹，以验证证明方的完整性状态.因此，完整性度量是远程证明的基础，其实现通常分为静态证明与动态证明两种.大多数现有的完整性证明方案都是基于设备内存指纹来实现的静态证明，称为基于二进制的证明方案[4].

现阶段移动平台远程证明相关研究的核心问题仍是如何为嵌入式平台设计轻量级的完整性度量与证明机制.静态证明方案通过在程序加载期间获取实体的测量值，反应了测量发生时代码与数据的状态，却无法为平台提供运行时状态证明.如果存在漏洞，攻击……