TCG框架下的证明问题研究

基金项目类型：

国家自然科学基金

基金项目编号：

60970113

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

谭良

完成单位：

四川师范大学

中文关键词：

可信计算; 证明; 直接匿名证言; 证明代理; 信任模型;

其他语种关键词：

trusted computing; attestation; direct anonymous attestation; attestation agent; trusted model

项目类型：

面上项目

语种：

中文

开始日期：

2010-01-01

结束日期：

2012-12-31

中文摘要：

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