基于组件属性的远程证明

被引：32

作者：

秦宇 ^{[1
,2
]}

冯登国 ^{[1
]}

机构：

[1] 中国科学院软件研究所信息安全国家重点实验室

[2] 中国科学院研究生院

来源：

软件学报 | 2009年 / 20卷 / 06期

关键词：

可信计算; 可信平台模块; 远程证明; 基于属性的证明; 强RSA假设; 安全性证明;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤销实现简单;本方案以组件承诺的方法保证属性证明的真实性,采用零知识证明实现平台组件的隐私性.基于强RSA假设,在Random Oracle模型下可被证明是安全的.实现的原型系统实验结果表明,组件属性证明是一种灵活、实用、高效的证明,对系统性能没有影响.

引用

页码：1625 / 1641

页数：17