基于非平衡哈希树平台完整性远程验证机制.docVIP

基于非平衡哈希树平台完整性远程验证机制 　　摘 要： 为提高计算平台完整性度量的远程验证效率，提出一种基于非平衡哈希树的平台远程验证机制。平台可信实体的散列值以非平衡哈希树叶子节点的结构存储，远程验证时，查找度量实体对应的叶子节点，记录该叶子节点到根节点的验证路径，然后传递根节点和验证路径给验证方，最后根据验证路径重新计算根节点来验证度量值的有效性。实验结果表明，该机制能够有效降低散列值存储的空间和时间开销，完整性度量验证的时间复杂度为O（lb N）。 关键词：可信计算；完整性度量；远程验证；非平衡哈希树 中图分类号： TP309.1 文献标志码：A Remote attestation mechanism for platform integrity based on unbalanced-Hash tree Abstract： In order to improve the remote authentication efficiency for integrity measurement of computing platforms， this paper proposed a platform remote authentication mechanism based on unbalanced-Hash trees. Hash values of platforms trusted entities were stored in the structure of leaf nodes of unbalanced-Hash trees. Effectiveness of the metrics was verified through seeking corresponding leaf nodes of measured entities， recording the validation paths from leaf nodes to root nodes， passing from root nodes to the prover and finally recalculating the root nodes according to validation paths. The experimental results show that the proposed mechanism can effectively reduce time and space overhead of storing Hash values and the time complexity of integrity measurement authentication is O（lb N）. Key words： trusted computing； integrity measurement； remote attestation； unbalanced-Hash tree 0 引言 近几年，对等网络和分布式计算环境受到广泛关注，与集中式计算环境相比，分布式计算环境具有开放性、动态性及节点多样性等特点，这就使得参与计算的各节点之间的信任建立困难，相互之间地可信认证也成为较为复杂的问题。 可信计算组织（Trusted Computing Group， TCG）[1]在计算平台的硬件层引入可信平台模块（Trusted Platform Module， TPM），从可信根出发，使用信任链传递机制，可对本地平台的硬件以及软件层实施逐层的完整性度量。由于TCG提出的计算平台度量验证机制的度量验证层次较低，只验证到计算平台操作系统层的可信性，并未定义应用层可信性的验证方法，使得其应用范围较小；且在验证时，需要发送整个度量列表给验证方，容易造成其他度量值的泄露。所以，Sailer等[2]提出完整性度量体系结构（Integrity Measurement Architecture， IMA）。IMA通过在系统内核中维护一张度量列表（Measure List， ML），将表中所有度量值进行哈希运算后得到的聚合值作为验证度量列表的可信依据，从而将信任链延伸至应用层。IMA增加度量层次，扩展度量范围，但同样严重影响了度量验证效率。每一次验证，都需要将所有度量值重新进行哈希运算得到聚合值，大大影响系统的运行效率；并且IMA同样不能解决验证平台信息泄露问题。针对IMA的不足，徐梓耀等[3]提出一种保护隐私的高效远程验证机制RAMT（Remote Attestation based on Merkle hash Tree），该方法使用Merkle哈希树结构存储度量值，验证时只需要发送与