作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2012, Vol. 38 ›› Issue (7): 25-27. doi: 10.3969/j.issn.1000-3428.2012.07.009

• 软件技术与数据库 • 上一篇    下一篇

一种高效的平台配置远程证明机制

付东来1,2,彭新光2,陈够喜1,杨秋翔1   

  1. (1. 中北大学电子与计算机科学技术学院,太原 030051;2. 太原理工大学计算机与软件学院,太原 030024)
  • 收稿日期:2011-10-08 出版日期:2012-04-05 发布日期:2012-04-05
  • 作者简介:付东来(1979-),男,讲师、博士研究生,主研方向:程序理解,信息安全;彭新光,教授、博士生导师;陈够喜,副教授、博士、CCF高级会员;杨秋翔,教授
  • 基金资助:
    山西省科技攻关计划基金资助项目(20090322004);中北大学自然科学基金资助项目

Efficient Remote Attestation Mechanism of Platform Configuration

FU Dong-lai  1,2, PENG Xin-guang  2, CHEN Gou-xi  1, YANG Qiu-xiang  1   

  1. (1. School of Electronics and Computer Science and Technology, North University of China, Taiyuan 030051, China; 2. College of Computer and Software, Taiyuan University of Technology, Taiyuan 030024, China)
  • Received:2011-10-08 Online:2012-04-05 Published:2012-04-05

摘要: 对平台配置远程证明机制的验证效率进行研究,指出现有平台配置证明机制没有考虑应用软件完整性度量值的查询频率,致使所有待查询应用软件完整性度量值的查询路径长度相同,这大大加长了平均查询路径的长度。为此,提出一种平台配置远程证明机制。依据不同应用软件完整性度量值的查询概率分布,构建一棵应用软件完整性度量值的哈夫曼树,使得查询频繁的应用软件完整性度量值节点获得较短的查询路径。结果表明,该机制可缩短应用软件完整性度量值的平均查询路径长度,提高验证效率。

关键词: 可信计算, 远程证明, 验证效率, 隐私保护, Merkle哈希树, Huffman树

Abstract: The performance of verification in remote attestation is discussed. Existing methods do not take query frequency of application software integrity metrics into consideration. So the query path length of every application software integrity metrics is equal. It directly makes the average query path length of application software integrity metrics become so long. A mechanism presented builds a Huffman tree according to application software integrity metrics probability distribution of inquires, which makes a node inquired frequently get a shorter query path. Results show the average query path gets shorter. And the efficiency of the verification is improved highly.

Key words: trusted computing, remote attestation, verification efficiency, privacy protection, Merkle hash tree, Huffman tree

中图分类号: