首页 期刊 软件学报 基于组件属性的远程证明 【正文】

基于组件属性的远程证明

作者:秦宇 冯登国 中国科学院软件研究所信息安全国家重点实验室 北京100190 中国科学院研究生院 北京100049
可信计算   可信平台模块   远程证明   基于属性的证明   强rsa假设  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅