可信计算中远程自动匿名证明的研究

刘吉强赵佳赵勇

北京交通大学;

摘要：

远程证明是可信计算的一个重要特征,目的是证明远程平台的身份或配置信息是否可信.常用的二进制证明方法不仅暴露了本地平台的配置信息,而且在现实情况中很难处理平台多样性问题.文中提出的可信计算中远程自动匿名证明方案利用环签名实现直接匿名证明,隐藏了平台的身份信息,以属性证书代替平台配置信息,可以有效防止私有信息的暴露,同时兼顾到对系统的升级和备份的可信评测.证明协议避免了使用零知识证明.分析结果显示,具有较高的实现效率.

关键词：可信计算、远程证明、自动协商、属性证书、环签名

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目基金2007AA01Z410,2007AA01Z177;国家"九七三"重点基础研究发展规划项目基金2007CB307101;长江学者创新团队项目IRT0707;北京交通大学校基金BJTU K08J0030

在线出版日期：2009-09-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1304-1310