基于状态机理论的可信平台模块测试研究

被引：9

作者：

詹静

张焕国

徐士伟

向騻

机构：

[1] 武汉大学计算机学院

来源：

关键词：

状态机理论; 符合性测试; 可信平台模块;

D O I：

10.13203/j.whugis2008.10.014

中图分类号：

TP301 [理论、方法]; TP309 [安全保密];

学科分类号：

081202 ; 081201 ; 0839 ; 1402 ;

摘要：

可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。

引用

页码：1067 / 1069

页数：3