基于组件属性的远程证明

• 作者: 冯登国 秦宇
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信计算 可信平台模块 远程证明 基于属性的证明 强RSA假设 安全性证明
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1625-1641
• 页数: 17页
• 分类号: TP309
• 字数: 16735字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03343

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国		60	2071	22.0	45.0