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

来源期刊：东北大学学报(自然科学版)2012年第4期

论文作者：岳笑含 巩书丽 周福才 任义

文章页码：495 - 499

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

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