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

李昊; 冯登国; 陈小峰

您当前的位置：

首页 >

文章列表页 >

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

研究论文_计算机科学 | 更新时间：2021-04-02

- 可信密码模块符合性测试方法与实施
- Compliant Testing Method of Trusted Cryptography Module
- 武汉大学学报（理学版） 2009年55卷第1期页码：31-34
- 作者机构：
  
  信息安全国家重点实验室/中国科学院软件研究所
- 作者简介：
- 基金信息：
  
  国家高技术研究发展计划（863）项目（2007AA01Z412）
- DOI：
  中图分类号： TN918.1
- 纸质出版日期：2009-01-01，
- 稿件说明：
移动端阅览
[1]李昊,冯登国,陈小峰.可信密码模块符合性测试方法与实施[J].武汉大学学报(理学版),2009,55(01):31-34.

LI HAO, FENG DENGGUO, CHEN XIAOFENG. Compliant Testing Method of Trusted Cryptography Module. [J]. 2009, 55(1): 31-34.
[1]李昊,冯登国,陈小峰.可信密码模块符合性测试方法与实施[J].武汉大学学报(理学版),2009,55(01):31-34. DOI：

LI HAO, FENG DENGGUO, CHEN XIAOFENG. Compliant Testing Method of Trusted Cryptography Module. [J]. 2009, 55(1): 31-34. DOI：

摘要

提出了一种有效的可信密码模块符合性测试方法

给出了衡量指标

并按照该指标对测试进行了测试分层

利用可信密码模块（TCM）内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例

所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比

本测试方法具有较高的测试效率

能够发现更多产品不符合标准带来的问题.

Abstract

An effective compliant testing method is proposed in this paper

which brings forward four scale indexes

dividing the testing job into two layers.This method uses EFSM and equivalence testing skills to get test cases.Then we prosecute the testing job which coveres the whole specification successfully.Finally

by analyzing the testing results

this paper shows that the proposed method

when compared with the other TCM testing methods

is more effective in detecting the problems caused by the products not conforming with the standard.

关键词

可信密码模块符合性测试扩展有限状态机模型等价类测试

Keywords

trusted cryptography modulecompliant testextended finite state machine modelequivalence test

references

浏览量

234

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种可重构的可信密码模块模拟器实现方法