一种高效的具有灵活属性证书状态校验机制的PBA方案

摘要：

可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如差别化服务及匿名性破坏等问题.因此针对在可信计算环境下传统二进制证明中所带来的平台配置信息泄露等问题,提出了一种新型的基于属性证明方案(property-based attestation,PBA).该方案具有属性证书状态校验机制灵活、方案整体计算代价小及随机预言模型下可证安全等特点.利用本地验证者撤销的技术,设计了方案的模型,定义了方案的安全性,给出了方案的具体构建,并在随机预言模型下对该方案进行了安全性证明,证明其满足正确性、证明不可伪造性及配置隐私性等安全性质.最后将提出的PBA方案与现有PBA方案在计算代价和证明值长度方面分别进行了比较,比较表明该方案同时具有实用、高效的特点.

关键词：可信计算、基于属性的证明、本地验证者撤销、证明不可伪造性、配置隐私性

所属期刊栏目：50

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

资助基金：国家科技重大专项基金项目2013ZX03002006;国家"八六三"高技术研究发展计划基金项目2009AA01Z122;辽宁省百千万人才工程项目2011921071;沈阳市科学技术计划项目F12-277-1-41

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

页数：共12页

页码：2070-2081