TCG架构下的证明问题研究及进展

• 作者: 刘震 周明天 谭良
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 可信计算 证明 平台身份证明 平台配置证明 平台运行时环境证明
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 综述评论
• 页码范围: 1105-1112
• 分类号: TP311
• 字数: 7950字
• 语种: 中文

摘要

证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基本概念并给出形式化定义,详细阐述了三元和四元证明系统的基本架构及工作机制,并指出平台身份证明采用了"推"式四元证明系统,而平台配置证明仍然采用三元证明系统.分析了当前对TCG架构下的平台身份证明、平台环境状态配置信息证明以及平台动态环境状态(运行时环境状态)证明等三个方面开展的研究工作,并对这些工作进行了总结.结合已有的研究成果,探讨了TCG架构下的证明问题的研究方向及其面临的挑战.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机学院	315	3725	27.0	49.0
2	谭良	四川师范大学可视化计算与虚拟现实重点实验室四川师范大学计算机学院	97	1102	16.0	29.0
6	刘震	电子科技大学计算机学院	46	292	9.0	15.0