解决度量-验证时间差的一种差值证明方法

摘要：

度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟域中的虚拟环境证明提出一种方法在原有的加载时度量的基础上补充了卸载时度量,使得更改后的度量机制可以察觉并表达系统中对象的存活状态,即使用加载度量和卸载度量的差值来表达系统的当前状态,进而解决度量.验证时间差问题。

关键词： 验证时间差 差值证明 加载度量 卸载度量 网络安全

作者: 张谦 贺也平 孟策

作者单位: 中国科学院 软件研究所,北京100190 中国科学院 研究生院,北京100049 中国科学院 软件研究所,北京100190

会议类型: 国内会议

会议名称: 第二届中国计算机网络与信息安全学术会议

会议地点: 天津

会议语种:中文

页码: 43-50

在线出版日期: 2009-10-01（万方平台首次上网日期，不代表论文的发表时间）