| 可信密码模块符合性测试方法与实施 |
| |
| 引用本文： | 李昊,冯登国,陈小峰.可信密码模块符合性测试方法与实施[J].武汉大学学报(理学版),2009,55(1). |
| |
| 作者姓名： | 李昊 冯登国 陈小峰 |
| |
| 作者单位： | 信息安全国家重点实验室/中国科学院软件研究所,北京,100190 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率.能够发现更多产品不符合标准带来的问题.
|
| 关 键 词： | 可信密码模块 符合性测试 扩展有限状态机模型 等价类测试 |
Compliant Testing Method of Trusted Cryptography Module |
| |
| LI Hao,FENG Dengguo,CHEN Xiaofeng.Compliant Testing Method of Trusted Cryptography Module[J].JOurnal of Wuhan University:Natural Science Edition,2009,55(1). |
| |
| Authors: | LI Hao FENG Dengguo CHEN Xiaofeng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
