位置:成果数据库 > 期刊 > 期刊详情页
基于状态机理论的可信平台模块测试研究
  • ISSN号:1671-8860
  • 期刊名称:《武汉大学学报:信息科学版》
  • 时间:0
  • 分类:TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]武汉大学计算机学院,武汉市珞喻路129号430079, [2]武汉大学软件工程国家重点实验室,武汉市珞珈山430072, [3]武汉大学空天信息安全及可信计算教育部重点实验室,武汉市珞喻路129号430079
  • 相关基金:国家自然科学基金资助项目(60673071,60743003,90718005,90718006);国家863计划资助项目(2007AA012411.2006AA012442).
中文摘要:

可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。

英文摘要:

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.

同期刊论文项目
期刊论文 21 会议论文 9
期刊论文 50 会议论文 4
同项目期刊论文
期刊信息
  • 《武汉大学学报:信息科学版》
  • 中国科技核心期刊
  • 主管单位:国家教育部
  • 主办单位:武汉大学
  • 主编:刘经南
  • 地址:湖北武汉珞珈山
  • 邮编:430072
  • 邮箱:whuxxb@vip.163
  • 电话:027-68778045
  • 国际标准刊号:ISSN:1671-8860
  • 国内统一刊号:ISSN:42-1676/TN
  • 邮发代号:38-317
  • 获奖情况:
  • 全国优秀科技期刊,全国优秀高校自然科学学报一等奖,湖北省优秀期刊称号
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰地学数据库,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:24217