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