| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 可信密码模块符合性测试方法研究 |
| 作者 | 李昊1),2) 胡浩1),2),3) 陈小峰1),2) |
| 作者单位 | 1)(中国科学院软件研究所信息安全国家重点实验室 北京 100190) 2)(信息安全共性技术国家工程研究中心 北京 100190) 3)(中国科学技术大学电子工程与信息科学系 合肥 230027) |
| 发表年份 | 2009 |
| 发表月份 | 4期(654—663) |
| 文章摘要 | 摘要 提出了一种可信密码模块(TCM)符合性测试的形式化方法，采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法，所以能够更好地对标准进行形式化建模，并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比，表明该方法能够有效地产生测试用例，并提高TCM符合性测试的错误检测率. 关键词 可信计算；TCM; 形式化方法; 符合性测试；EFSM 中图法分类号: TP309 DOI号: 10.3724/SP.J.1016.2009.00654 |