论文部分内容阅读
可信计算平台的远程二进制证明方案确保了该平台的完整性，通过这种方法平台可以向远程方证明其可信性．然而这种二进制证明方案却存在很多缺陷，其中一个主要问题就是泄露了关于平台的（软、硬件）配置信息，这导致很多隐私问题的出现，例如差别化服务及匿名性破坏等问题．因此针对在可信计算环境下传统二进制证明中所带来的平台配置信息泄露等问题，提出了一种新型的基于属性证明方案（property—based attestation，PBA）．该方案具有属性证书状态校验机制灵活、方案整体计算代价小及随机预言模型下可证安全等特点．利