%0 Journal Article
%T 基于组件属性的远程证明
%A 秦宇？
%A 冯登国？
%J 软件学报
%P 1625-1641
%D 2009
%X 提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤销实现简单;本方案以组件承诺的方法保证属性证明的真实性,采用零知识证明实现平台组件的隐私性.基于强rsa假设,在randomoracle模型下可被证明是安全的.实现的原型系统实验结果表明,组件属性证明是一种灵活、实用、高效的证明,对系统性能没有影响.
%K 可信计算
%K 可信平台模块
%K 远程证明
%K 基于属性的证明
%K 强rsa假设
%K 安全性证明
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3343&flag=1