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

• 作者: 乐康 张毓森 张涛 徐小岩 杨莉 桂荆京 锁琰
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 可信计算 远程证明 密钥隔离 双线性映射
• 年，卷（期）: 2011,（4）
• 页码范围: 11-19
• 分类号: TP309
• 字数: 8879字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2011.04.003

摘要

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