可信密码模块符合性测试方法与实施
文献类型:期刊论文
作者 | 李昊 ; 冯登国 ; 陈小峰 |
刊名 | 武汉大学学报(理学版)
![]() |
出版日期 | 2009 |
期号 | 1页码:31-34 |
关键词 | 可信密码模块,符合性测试,扩展有限状态机模型,等价类测试 |
中文摘要 | 提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题. |
收录类别 | 其他 |
公开日期 | 2011-03-18 |
源URL | [http://124.16.136.157/handle/311060/7726] ![]() |
专题 | 软件研究所_信息安全国家重点实验室_期刊论文 |
推荐引用方式 GB/T 7714 | 李昊,冯登国,陈小峰. 可信密码模块符合性测试方法与实施[J]. 武汉大学学报(理学版),2009(1):31-34. |
APA | 李昊,冯登国,&陈小峰.(2009).可信密码模块符合性测试方法与实施.武汉大学学报(理学版)(1),31-34. |
MLA | 李昊,et al."可信密码模块符合性测试方法与实施".武汉大学学报(理学版) .1(2009):31-34. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。