共 6 条
[1]
[2]
[3]
[4]
[5]
[6]
TCG架构下的证明问题研究及进展
被引：16
作者：
谭良
[1
,2
]
刘震
[3
]
周明天
[3
]
机构：
[1] 四川师范大学可视化计算与虚拟现实重点实验室,四川师范大学计算机学院
[2] 中国科学院计算技术研究所
[3] 电子科技大学计算机学院
来源：
关键词：
可信计算;
证明;
平台身份证明;
平台配置证明;
平台运行时环境证明;
D O I：
暂无
中图分类号：
TP309 [安全保密];
学科分类号：
081206 [计算机网络与安全];
摘要：
证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基本概念并给出形式化定义,详细阐述了三元和四元证明系统的基本架构及工作机制,并指出平台身份证明采用了"推"式四元证明系统,而平台配置证明仍然采用三元证明系统.分析了当前对TCG架构下的平台身份证明、平台环境状态配置信息证明以及平台动态环境状态(运行时环境状态)证明等三个方面开展的研究工作,并对这些工作进行了总结.结合已有的研究成果,探讨了TCG架构下的证明问题的研究方向及其面临的挑战.
引用
收藏
页码：1105 / 1112
页数：8
相关论文