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

第 3 1 卷 　第 9 期 计 　　算 　　机 　　学 　　报 Vol . 3 1 No . 9 2008 年 9 月 C H IN ESE J OU RN AL O F COM PU T ER S Sep t . 2008 　 可信计算环境证明方法研究 冯登国　　秦 　宇 ( 中国科学院软件研究所信息安全国家重点实验室 　北京 　100 190) 摘 　要 　首先分析了可信计算环境下多远程证明实例执行的动态性 、并发性 、一致性等问题 ,提出了一个完整的可 信计算环境多远程证明实例动态更新证