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

摘要：

标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素.该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案.运用有限状态机归纳测试集的方法实现了原型.对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的.

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

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2009-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：129-132