| 基于状态机理论的可信平台模块测试研究 |
| |
| 引用本文： | 詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069. |
| |
| 作者姓名： | 詹静 张焕国 徐士伟 向騻 |
| |
| 作者单位： | 1武汉大学计算机学院,武汉市珞喻路129号430079;2武汉大学软件工程国家重点实验室,武汉市珞珈山,430072;3武汉大学空天信息安全及可信计算教育部重点实验室,武汉市珞喻路129号,430079 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。
|
| 关 键 词： | 状态机理论 符合性测试 可信平台模块 |
| 收稿时间： | 2008-08-28 |
| 修稿时间： | 2008-08-28 |
Research on TPM Based on State Machine Theory |
| |
| ZHAN Jing, ZHANG Huanguo, XU Shiwei, XIANG Shuang. Research on TPM Based on State Machine Theory[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1067-1069. |
| |
| Authors: | ZHAN Jing ZHANG Huanguo XU Shiwei XIANG Shuang |
| |
| Affiliation: | 1School of Computer,Wuhan University,129 Luoyu Road,Wuhan 430079,China;2State Key Lab of Software Engineering,Wuhan University,Luojia Hill,Wuhan 430072,China;3Key Laboratory of Aerospace Information Security and Trusted Computing,Ministry of Education,Wuhan University,129 Luoyu Road,Wuhan 430079,China |
| |
| Abstract: | As the key component of the emerging information security trend: trusted computing,conformance testing on the trusted platform module(TPM) is very necessary.While current works on TPM testing are mainly based on traditional testing methods and experiences;the state machine theory provides solid foundation for correctness of the conformation testing.This paper proposes conformance testing model based on TPM specification,related testing strategies and flexible testing framework for the automation testing. |
| |
| Keywords: | state machine theory conformance testing trusted platform module |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《武汉大学学报(信息科学版)》浏览原始摘要信息 |
|
点击此处可从《武汉大学学报(信息科学版)》下载全文 |
|
