| 可信计算环境证明方法研究 |
| |
| 引用本文： | 冯登国,秦宇.可信计算环境证明方法研究[J].计算机学报,2008,31(9). |
| |
| 作者姓名： | 冯登国 秦宇 |
| |
| 作者单位： | 中国科学院软件研究所信息安全国家重点实验室,北京,100190 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划)，国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 首先分析了可信计算环境下多远程证明实例执行的动态性、并发性、一致性等问题,提出了一个完整的可信计算环境多远程证明实例动态更新证明方案,以保证通信双方终端计算环境的可信.然后阐述了主要由计算环境组件度量算法、会话组件树计算算法和多远程证明实例证明协议组成可信计算环境证明方法.最后对该证明方法的安全性和效率进行分析,并构建原型系统论证证明方案的可行性和高性能.
|
| 关 键 词： | 可信计算 远程证明实例 组件度量 会话组件树 更新证明 |
Research on Attestation Method for Trust Computing Environment |
| |
| FENG Deng-Guo,QIN Yu.Research on Attestation Method for Trust Computing Environment[J].Chinese Journal of Computers,2008,31(9). |
| |
| Authors: | FENG Deng-Guo QIN Yu |
| |
| Abstract: | |
| |
| Keywords: | trust computing remote attestation instance component measurement session component tree update attestation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
