文献类型：期刊文章

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

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

出　　处：《计算机工程》

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

年　　份：2009

卷　　号：35

期　　号：2

起止页码：129-132

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊

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

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

分 类 号：TP309]