可信密码模块符合性测试方法研究
| Data(s) |
2009
|
|---|---|
| Resumo |
提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
李昊;胡浩;陈小峰.可信密码模块符合性测试方法研究,计算机学报,2009,32(4):654-663 |
| Palavras-Chave | #可信计算 |
| Tipo |
期刊论文 |
