《计算机学报》文章摘要   全文下载
文章题目	可信计算环境证明方法研究
作者	冯登国 秦宇
作者单位	(中国科学院软件研究所信息安全国家重点实验室 北京 100190)
发表年份	2008
发表月份	9期(1640—1652)
文章摘要	摘要 首先分析了可信计算环境下多远程证明实例执行的动态性、并发性、一致性等问题，提出了一个完整的可信计算环境多远程证明实例动态更新证明方案，以保证通信双方终端计算环境的可信.然后阐述了主要由计算环境组件度量算法、会话组件树计算算法和多远程证明实例证明协议组成可信计算环境证明方法.最后对该证明方法的安全性和效率进行分析，并构建原型系统论证证明方案的可行性和高性能. 关键词 可信计算；远程证明实例；组件度量；会话组件树；更新证明