李晓策，潘晓中，陈　飞，李宁波

(1.网络与信息安全武警部队重点实验室，陕西 西安 710086；2.武警工程大学 电子技术系，陕西 西安 710086)

一种可信移动平台的多组件证明方案*

李晓策1，2，潘晓中1，2，陈飞1，2，李宁波1，2

(1.网络与信息安全武警部队重点实验室，陕西 西安 710086；2.武警工程大学 电子技术系，陕西 西安 710086)

分析了现有远程证明方案在移动平台中证明效率低、难以实际应用的问题，提出了一种基于可信执行环境的多组件证明方案。方案基于当前广泛使用的ARM TrustZone技术，能够在大多数移动平台应用，并不需要作任何硬件的改动。并且针对移动平台证明特点使用超递增序列对组件签名方案进行优化，能够高效地对多个组件同时进行证明。实验结果表明，方案证明效率与组件数量无关，组件数量较多时与属性环签名相比效率提升明显，对移动平台正常运行基本没有影响。

可信计算；远程证明；移动平台；TrustZone

0　引言

远程证明是可信计算的关键技术，是平台信任进行扩展以及可信链接建立的重要过程。自从提出以来，远程证明技术在TPM芯片基础之上建立了相对完善的证明体系和众多证明方法，但是移动平台对成本、空间的限制等原因使其难以配置TPM芯片。针对这个问题，文献[1，2]提出了以安全芯片、智能卡等作为可信依据的解决方案，但是这些解决方案必须在有限空间的移动平台中增加一个智能卡，致使成本太高，不太可能被商业公司应用。为了保证移动平台的安全，可信……