东北大学学报（自然科学版）

东北大学学报(自然科学版) ›› 2012, Vol. 33 ›› Issue (4): 495-499.DOI: -

• 论著 • 上一篇    下一篇

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

岳笑含;巩书丽;周福才;任义;   

  1. 东北大学信息科学与工程学院;沈阳市电信规划设计院;
  • 收稿日期:2013-06-19 修回日期:2013-06-19 发布日期:2013-04-04
  • 通讯作者: -
  • 作者简介:-
  • 基金资助:
    国家高技术研究发展计划项目(2009AA01Z122)

Property-based efficient attestation scheme in standard model

Yue, Xiao-Han (1); Gong, Shu-Li (2); Zhou, Fu-Cai (1); Ren, Yi (1)   

  1. (1) School of Information Science and Engineering, Northeastern University, Shenyang 110819, China; (2) Telecom Plan Design Institute of Shenyang, Shenyang 110021, China
  • Received:2013-06-19 Revised:2013-06-19 Published:2013-04-04
  • Contact: Yue, X.-H.
  • About author:-
  • Supported by:
    -

RichHTML

0

PDF (PC)

739

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

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

Abstract: 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.

中图分类号: