可信计算环境证明方法研究

被引:32
作者
冯登国
秦宇
机构
[1] 中国科学院软件研究所信息安全国家重点实验室
关键词
可信计算; 远程证明实例; 组件度量; 会话组件树; 更新证明;
D O I
暂无
中图分类号
TP309 [安全保密];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
首先分析了可信计算环境下多远程证明实例执行的动态性、并发性、一致性等问题,提出了一个完整的可信计算环境多远程证明实例动态更新证明方案,以保证通信双方终端计算环境的可信.然后阐述了主要由计算环境组件度量算法、会话组件树计算算法和多远程证明实例证明协议组成可信计算环境证明方法.最后对该证明方法的安全性和效率进行分析,并构建原型系统论证证明方案的可行性和高性能.
引用
收藏
页码:1640 / 1652
页数:13
相关论文
共 27 条
[1]  
TCG Architecture Overview.Specification,Revision 1.2. Trusted Computing Group. . 2004
[2]  
Realizingproperty-based attestation and sealing with commonly availa-ble hard-and software. Khn Ulrich,Selhorst Marcel,Stueble Christian. Proceedings of the 2007 ACM Work-shop on Scalable Trusted Computing . 2007
[3]  
Virtualization technology. Intel. http://www.intel.com/technology/computing/vptech/ . 2005
[4]  
Secure data management intrusted computing. Khn Ulrich,Kursawe Klaus,Lucks Stefan,Sadeghi Ah-mad-Reza,Stble Christian. Proceedings of the Workshop on Crypto-graphic Hardware and Embedded Systems(CHES) . 2005
[5]  
LaGrande technology architectural overview. Intel. http://download.intel.com/technology/security/downloads/LT_Arch_Overview.pdf .
[6]  
TPM Main Part 1,Design Prin-ciples.Specification Version 1.2,Revision 62. Trusted Computing Group. . 2003
[7]  
Design andi mplementation of a TCG-basedinteg-rity measurement architecture. Sailer Reiner,Zhang Xiao-Lan,Jaeger Trent,van DoornLeendert. Proceedings of the 13th Use-nix Security Symposium . 2004
[8]  
The Transport Layer Security(TLS)Protocol Version 1.1. Dierks T,Rescorla E. RFC 4346 . 2006
[9]  
Therole of TPMin enterprise security. Sailer Reiner,van Doorn Leendert,James P Ward. IBMResearch Report RC23368 . 2004
[10]  
Property attestation—Scalable and priva-cy-friendly security assessment of peer computers. Poritz Jonathan,Schunter Matthias,van Herreweghen Els,Waidner Michael. IBM Re-search Report RZ 3548 . 2004