可信平台模块自动化测试研究

被引：7

作者：

詹静 ^{[1
,2
]}

张焕国 ^{[1
,2
,3
]}

机构：

[1] 武汉大学计算机学院

[2] 武汉大学空天信息安全与可信计算教育部重点实验室

[3] 武汉大学软件工程国家重点实验室

来源：

计算机研究与发展 | 2009年 / 11期

关键词：

可信计算; 可信平台模块; 自动化测试工具; 一致性测试; 状态机建模;

D O I：

暂无

中图分类号：

TP306.2 [];

学科分类号：

摘要：

可信平台模块(trusted platform module,TPM)是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础.

引用

页码：1839 / 1846

页数：8

共 4 条

[1] Survey of information security[J]. SHEN ChangXiang1, ZHANG HuangGuo2, FENG DengGuo3, CAO ZhenFu4 ＆ HUANG JiWu5 1 Computing Technology Institute of China Navy, Beijing 100841, China;2 School of Computer, Wuhan University, Wuhan 430072, China;3 Institute of Software, Chinese Academy of Sciences, Beijing 100080, China 4 Department of Computer Science and Technology, Shanghai Jiaotong University, Shanghai 200030, China;5 Information Technology Institute, Zhongshan University, Guangzhou 510275, China
[2] 基于接口参数的黑箱测试用例自动生成算法
聂长海
徐宝文
[J]. 计算机学报, 2004, (03) : 382 - 388
[3] 基于确定有限状态机的测试输入序列选取
张涌
钱乐秋
王渊峰
[J]. 计算机研究与发展, 2002, (09) : 1144 - 1150
[4] Validated Protection Profile—Trusted Computing Platform Alliance Trusted Platform Module Protection Profile,Version1.9.7. CCEVS. http://www.niap-ccevs.org/cc-scheme/pp/id/pp-tcpatpm-v1.9.4 . 2008

← 1 →