可信密码模块符合性测试方法研究

被引：10

作者：

李昊 ^{[1
,2
]}

胡浩 ^{[1
,2
,3
]}

陈小峰 ^{[1
,2
]}

机构：

[1] 中国科学院软件研究所信息安全国家重点实验室

[2] 信息安全共性技术国家工程研究中心

[3] 不详

来源：

计算机学报 | 2009年 / 32卷 / 04期

关键词：

可信计算; TCM; 形式化方法; 符合性测试; EFSM;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

引用

页码：654 / 663

页数：10

共 6 条

[1] 可信密码模块符合性测试方法与实施 [J].

李昊 ;

冯登国 ;

陈小峰 .

武汉大学学报(理学版), 2009, 55 (01) :31-34

[2] 基于状态机理论的可信平台模块测试研究 [J].

詹静 ;

张焕国 ;

徐士伟 ;

向騻 .

武汉大学学报(信息科学版), 2008, (10) :1067-1069

[3] 基于EFSM模型的等价类测试 [J].

易国洪 ;

卢炎生 .

计算机科学, 2007, (01) :281-284

[4] Test cases selection from SDL specifications [J].

Bourhfir, C ;

Aboulhamid, E ;

Khendek, F ;

Dssouli, R .

COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06) :693-708

[5]

Automatic generation of functional vectors using the extended finite state machine model[J] . Kwang-Ting Cheng,A. S. Krishnakumar.ACM Transactions on Design Automation of Electronic Systems （TODAES） . 1996 (1)

[6]

Automatic test generation for EFSM-based systems. C.Bourhr,R Dssouli,E M Aboulhamid. . 1996

← 1 →