可信密码模块符合性测试方法研究  

Research on Compliant Testing Method of Trusted Cryptography Module

作　　者：李昊[1,2] 胡浩[1,2,3] 陈小峰[1,2] 

机构地区：[1]中国科学院软件研究所信息安全国家重点实验室,北京100190 [2]信息安全共性技术国家工程研究中心,北京100190 [3]中国科学技术大学电子工程与信息科学系,合肥230027

出　　处：《计算机学报》2009年第4期654-663,共10页Chinese Journal of Computers

基　　金：国家“八六三”高技术研究发展计划项目基金(2007AA01Z412);国家科技支撑计划项目基金(2008BAH22B06)资助~~

摘　　要：提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.A formal method for compliant test of Trusted Cryptography Module （TCM） is pro- posed in this paper, which uses EFSM and testing vectors to build the formal model of TCM＇s standard. Since the modeling method presents the arithmetic for getting the dependency graph of the TCM＇s commands, the process of building EFSM and the way of getting testing vectors, the test case set can be built effectively. Through the experiments using the new method to do the compliant test of TCM and contrast to other related works, the results show that the proposed method in this paper is more effective in getting test cases and can bring better fault inspection rate.

关 键 词：可信计算 TCM 形式化方法 符合性测试 EFSM 

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