| 基于状态机理论的可信平台模块测试研究 |
| |
| 引用本文： | 詹静,张焕国,徐士伟,向騻.基于状态机理论的可信平台模块测试研究[J].武汉大学学报(信息科学版),2008,33(10):1067-1069. |
| |
| 作者姓名： | 詹静 张焕国 徐士伟 向騻 |
| |
| 作者单位： | 詹静,徐士伟,向騻,ZHAN Jing,XU Shiwei,XIANG Shuang(武汉大学计算机学院,武汉市珞喻路129号,430079);张焕国,ZHANG Huanguo(武汉大学计算机学院,武汉市珞喻路129号,430079;武汉大学软件工程国家重点实验室,武汉市珞珈山,430072) |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要.基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架.
|
| 关 键 词： | 状态机理论 符合性测试 可信平台模块 |
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 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
