TPM接口命令标准符合性测试的设计与实现  

Design and Implementation of Compliance Test on TPM Interface Command

作　　者：崔奇[1,2,3] 马楠[1] 刘贤刚[1] 

机构地区：[1]中国电子技术标准化研究所信息技术研究中心,北京100007 [2]中国科学院软件研究所,北京100080 [3]中国科学院研究生院,北京100080

出　　处：《计算机工程》2009年第2期129-132,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60672112)

摘　　要：标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的。Compliance is an important factor that decides whether TPM chip has security exploitsl This paper presents a testing scheme on compliance of Trusted Platform Module（TPM） interface commands towards Trusted Computing Group（TCG） specifications, with methods on constructing testing sets with finite state machines. The prototype of the testing platform is implemented and used to test on the real TPM chips. The results show the effectiveness and feasibility of this scheme.

关 键 词：可信计算模块 接口命令 可信计算组织 标准符合性测试 有限状态机 

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