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

被引：2

作者：

张谦 ^{[1
,2
]}

贺也平 ^{[1
]}

孟策 ^{[1
,2
]}

机构：

[1] 中国科学院软件研究所

[2] 中国科学院研究生院

来源：

通信学报 | 2009年 / S1期

关键词：

度量-验证时间差问题; 卸载时度量; Merkle散列树; 可信虚拟域; 差值证明方法;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081206 [计算机网络与安全];

摘要：

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

引用

页码：43 / 50

页数：8

共 4 条

[1]

可信计算环境证明方法研究 [J].

冯登国 ;

秦宇 .

计算机学报, 2008, (09) :1640-1652

[2]

基于访问控制空间的多策略安全体系结构 [J].

李丽萍 ;

卿斯汉 ;

贺也平 ;

沈晴霓 .

通信学报, 2006, (02) :107-112+118

[3]

Architectural support for copy and tamper resistant software[J] David Lie;Chandramohan Thekkath;Mark Mitchell;Patrick Lincoln;Dan Boneh;John Mitchell;Mark Horowitz ACM SIGPLAN Notices 2000,

[4]

Checking the correctness of memories BLUM M;EVANS W;GEMMELL P; Proc of the32nd Annual Symposium on Foundations of Computer Science 1991,

← 1 →