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

摘要：

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

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

所属期刊栏目：32

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

资助基金：国家"八六三"高技术研究发展计划项目基金2007AA01Z412;国家科技支撵计划项目基金2008BAH22B06

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

页数：共10页

页码：654-663