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

Research on TPM Based on State Machine Theory

作　　者：詹静[1] 张焕国[1,2,3] 徐士伟[1] 向騻[1] 

机构地区：[1]武汉大学计算机学院,武汉市430079 [2]武汉大学软件工程国家重点实验室,武汉市430072 [3]武汉大学空天信息安全及可信计算教育部重点实验室,武汉市430079

出　　处：《武汉大学学报（信息科学版）》2008年第10期1067-1069,共3页Geomatics and Information Science of Wuhan University

基　　金：国家自然科学基金资助项目(60673071,60743003,90718005,90718006);国家863计划资助项目(2007AA01Z411,2006AA01Z442)

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

关 键 词：状态机理论 符合性测试 可信平台模块 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP309[自动化与计算机技术—计算机科学与技术]