浏览全部资源
扫码关注微信
1. 中国科学院软件研究所
2. 中国科学院研究生院
纸质出版日期:2009
移动端阅览
[1]张谦,贺也平,孟策.解决度量-验证时间差的一种差值证明方法[J].通信学报,2009,30(S1):43-50.
[1]张谦,贺也平,孟策.解决度量-验证时间差的一种差值证明方法[J].通信学报,2009,30(S1):43-50. DOI:
DOI:
度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟域中的虚拟环境证明提出一种方法在原有的加载时度量的基础上补充了卸载时度量
使得更改后的度量机制可以察觉并表达系统中对象的存活状态
即使用加载度量和卸载度量的差值来表达系统的当前状态
进而解决度量-验证时间差问题。
0
浏览量
76
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构