标准模型下基于属性的高效证明方案

针对可信计算环境下,传统平台认证中所带来的平台配置信息泄露的问题,提出了一个新型的基于属性的证明方案.建立了该方案的模型,给出了方案的具体构建,包括初始化、属性证书颁发、属性证明及验证、撤销等算法.与现有基于属性的证明方案相比,该方案的通信代价更小,计算效率更高.在标准模型下对该方案进行了安全性证明,结果说明了它的正确性、配置隐匿性及不可伪造性等.

Property-Based Efficient Attestation Scheme in Standard Model

A new property-based attestation(PBA) scheme was proposed to solve the problem of platform configure information disclosure caused by the traditional platform attestation in the trusted computing environment.The security model of the scheme was established,and the construction of the scheme was given,including setup,issue,attestation,verification and revocation algorithms.Compared with the existing PBA scheme,the proposed scheme is more effective,that is,the transmission spending is smaller and the computation efficiency is higher.The scheme was attested in the standard model,and the results indicated its correctness,unforgetability and anonymity.