TCG框架下的证明问题研究

项目名称： TCG框架下的证明问题研究

项目编号： No.60970113

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 谭良

作者单位： 四川师范大学

项目金额： 31万元

中文摘要： 可信计算的核心问题是证明问题。本课题将对TCG架构下的证明问题展开研究，主要内容包括：（1）针对平台身份证明的优化算法；（2）针对平台环境状态配置信息证明的安全高效方案；（3）针对平台动态环境（运行时环境）证明的信任模型与证明框架。本课题将通过新数论假设与双线性映射构建新的群签名方案解决针对平台身份证明的安全、复杂以及性能问题。通过增加护照证书和域间证书交换协议，解决平台身份跨域证明问题；借鉴"自动信任协商"的基本思想，通过建立防止隐证书和不经意属性证书的非法转移框架，解决平台环境状态配置信息二进制证明方式的缺陷；通过"动态环境信息取证代理"以及应用程序完整性度量新证明框架，构建动态环境的指标体系和动态信任模型，解决对平台动态环境的证明问题。总体目标是在满足TCG规范基本功能要求的情况，使得证明算法、协议和框架更简单实用，效率更高，性能更好，促进可信计算在更广的范围内进行延伸和拓展。

中文关键词： 可信计算；证明；直接匿名证言；证明代理；信任模型

英文摘要：

英文关键词： trusted computing；attestation；direct anonymous attestation；attestation agent；trusted model