詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069.
引用本文: 詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069.
ZHAN Jing, ZHANG Huanguo, XU Shiwei, XIANG Shuang. Research on TPM Based on State Machine Theory[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1067-1069.
Citation: ZHAN Jing, ZHANG Huanguo, XU Shiwei, XIANG Shuang. Research on TPM Based on State Machine Theory[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1067-1069.

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

Research on TPM Based on State Machine Theory

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

     

    Abstract: As the key component of the emerging information security trend: trusted computing,conformance testing on the trusted platform module(TPM) is very necessary.While current works on TPM testing are mainly based on traditional testing methods and experiences;the state machine theory provides solid foundation for correctness of the conformation testing.This paper proposes conformance testing model based on TPM specification,related testing strategies and flexible testing framework for the automation testing.

     

/

返回文章
返回