支持组件动态更新的远程证明

作者：锁琰; 徐小岩; 张毓森; 张涛; 桂荆京; 杨莉; 乐康

来源：西安电子科技大学学报, 2011, (04): 11-19.

• 可信计算
• 远程证明
• 密钥隔离
• 双线性映射 trusted computing
• remote attestation
• Key-insulated security mechanism

将密钥隔离安全机制应用到基于组件属性的远程证明中,并分析方案的正确性和安全性.分析结果表明:未及时更新或者被恶意代码攻击的组件将丧失安全属性,不再具有远程证明能力.实现了无证书的组件证明,省略了验证证书的过程,减少了验证方的负担,并结合现有的可信计算完整性管理模式,给出了实现过程.

• 单位
  中国人民解放军陆军工程大学