可信平台模块自动化测试研究  

Automated Testing of the Trusted Platform Module

作　　者：詹静[1,2] 张焕国[1,2,3] 

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

出　　处：《计算机研究与发展》2009年第11期1839-1846,共8页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60673071;60743003;90718005;90718006);国家"八六三"高技术研究发展计划基金项目(2007AA01Z411;2006AA01Z442)~~

摘　　要：可信平台模块(trusted platform module,TPM)是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础.Trusted computing is a new paradigm to improve client security on today＇s general architecture platforms and it uses a hardware chip as a key component, called trusted platform module （TPM） to achieve the goal. As there are already many related products on the market, it is very necessary to have conformance testing. However, traditional testing methods and experiences can＇t meet the testing requirements in a form that make product evaluation to be precisely and automatically processed by machines. A conformance testing model based on the state machine theory is proposed as a solid foundation for testing correctness. Furthermore, related testing strategies based on specification are proposed in order to deal with the state space explosion problem which is a major obstacle reducing practicality of the state machine theory based testing methods. Automated testing tool is also designed and implemented correspondingly to improve the efficiency and accuracy. The tool can generate test suits automatically based on database and customize testing sequences based on the state graph according to user＇s requirements. It can achieve process visualization and testing results for the conformance testing that can be used by future security evaluation on trusted computing platform products.

关 键 词：可信计算 可信平台模块 自动化测试工具 一致性测试 状态机建模 

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