| 解决度量-验证时间差的一种差值证明方法 |
| 张谦; 贺也平; 孟策
|
| 2009
|
| 发表期刊 | 通信学报
 |
| 期号 | S1页码:43-50 |
| 摘要 | 度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟域中的虚拟环境证明提出一种方法在原有的加载时度量的基础上补充了卸载时度量,使得更改后的度量机制可以察觉并表达系统中对象的存活状态,即使用加载度量和卸载度量的差值来表达系统的当前状态,进而解决度量-验证时间差问题。 |
| 收录类别 | 其他
|
| 关键词 | 度量-验证时间差问题,卸载时度量,Merkle散列树,可信虚拟域,差值证明方法
|
| 部门归属 | 中国科学院软件研究所;中国科学院研究生院;
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/8146
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
张谦,贺也平,孟策. 解决度量-验证时间差的一种差值证明方法[J]. 通信学报,2009(S1):43-50.
|
| APA |
张谦,贺也平,&孟策.(2009).解决度量-验证时间差的一种差值证明方法.通信学报(S1),43-50.
|
| MLA |
张谦,et al."解决度量-验证时间差的一种差值证明方法".通信学报 .S1(2009):43-50.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论