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

Property-Based Efficient Attestation Scheme in Standard Model

作　　者：岳笑含[1] 巩书丽 周福才[1] 任义[1] 

机构地区：[1]东北大学信息科学与工程学院,辽宁沈阳110819 [2]沈阳市电信规划设计院,辽宁沈阳110021

出　　处：《东北大学学报（自然科学版）》2012年第4期495-499,共5页Journal of Northeastern University(Natural Science)

基　　金：国家高技术研究发展计划项目(2009AA01Z122)

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

关 键 词：基于属性的证明 可信计算 双线性配对 标准模型 通信代价 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]