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