摘要: 标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的。
关键词:
可信计算模块,
接口命令,
可信计算组织,
标准符合性测试,
有限状态机
Abstract: Compliance is an important factor that decides whether TPM chip has security exploits. 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.
Key words:
Trusted Platform Module(TPM),
interface command,
Trusted Computing Group(TCG),
compliance test,
Finite State Machine(FSM)
中图分类号:
崔 奇;马 楠;刘贤刚. TPM接口命令标准符合性测试的设计与实现[J]. 计算机工程, 2009, 35(2): 129-132.
CUI Qi; MA Nan; LIU Xian-gang. Design and Implementation of Compliance Test on TPM Interface Command[J]. Computer Engineering, 2009, 35(2): 129-132.