一种高效的具有灵活属性证书状态校验机制的PBA方案

作     者：周福才 岳笑含 白洪波 徐剑 Zhou Fucai;Yue Xiaohan;Bai Hongbo;Xu Jian

作者机构：东北大学软件学院沈阳110819 沈阳工业大学信息科学与工程学院沈阳110870 东北大学信息科学与工程学院沈阳110819 

基　　金：国家科技重大专项基金项目(2013ZX03002006) 国家"八六三"高技术研究发展计划基金项目(2009AA01Z122) 辽宁省百千万人才工程项目(2011921071) 沈阳市科学技术计划项目(F12-277-1-41) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2013年第50卷第10期

页      码：2070-2081页

摘      要：可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如差别化服务及匿名性破坏等问题.因此针对在可信计算环境下传统二进制证明中所带来的平台配置信息泄露等问题,提出了一种新型的基于属性证明方案(property-based attestation,PBA).该方案具有属性证书状态校验机制灵活、方案整体计算代价小及随机预言模型下可证安全等特点.利用本地验证者撤销的技术,设计了方案的模型,定义了方案的安全性,给出了方案的具体构建,并在随机预言模型下对该方案进行了安全性证明,证明其满足正确性、证明不可伪造性及配置隐私性等安全性质.最后将提出的PBA方案与现有PBA方案在计算代价和证明值长度方面分别进行了比较,比较表明该方案同时具有实用、高效的特点.

主 题 词：可信计算 基于属性的证明 本地验证者撤销 证明不可伪造性 配置隐私性 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203106384...