作者：秦宇 冯登国可信计算可信平台模块远程证明基于属性的证明强rsa假设安全性证明
摘要：提出了一个组件级的细粒度属性证明方案，用于向远程依赖方证明用户平台满足某种安全属性与现有的远程证明方案相比，组件属性远程证明具有一定的语义和属性表述性等优势．该方案不但证明粒度细和扩展性强，而且属性证书的颁发、验证和撤销实现简单；本方案以组件承诺的方法保证属性证明的真实性，采用零知识证明实现平台组件的隐私性．基于强RsA假设，在RandomOracle模型下可被证明是安全的．实现的原型系统实验结果表明，组件属性证明是一种灵活、实用、高效的证明，对系统性能没有影响．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
