可信密码模块符合性测试方法与实施

摘要：

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试。测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率。能够发现更多产品不符合标准带来的问题。

关键词： 可信密码模块 符合性测试 扩展有限状态机 等价类测试 TCM测试

作者: 李昊 冯登国 陈小峰

作者单位: 信息安全国家重点实验室/中国科学院软件研究所,北京,100190

会议类型: 国内会议

会议名称: 第三届可信计算与信息安全学术会议

会议地点: 郑州

会议语种:中文

页码: 31-34

在线出版日期: 2008-10-25（万方平台首次上网日期，不代表论文的发表时间）