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

• 作者: 李昊 胡浩 陈小峰
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 可信计算 TCM 形式化方法 符合性测试 EFSM
• 年，卷（期）: 2009,（4）
• 页码范围: 654-663
• 页数: 10页
• 分类号: TP309
• 字数: 7462字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.00654

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈小峰	中国科学院软件研究所信息安全国家重点实验室	3	66	3.0	3.0
3	胡浩	中国科学院软件研究所信息安全国家重点实验室	10	69	5.0	8.0
12	李昊	中国科学院软件研究所信息安全国家重点实验室	28	834	8.0	28.0