留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于状态机理论的可信平台模块测试研究

詹静 张焕国 徐士伟 向騻

詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069.
引用本文: 詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069.
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.
Citation: 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.

基于状态机理论的可信平台模块测试研究

基金项目: 国家自然科学基金资助项目(60673071,60743003,90718005,90718006);国家863计划资助项目(2007AA01Z411,2006AA01Z442)
详细信息
    作者简介:

    詹静,博士生。研究方向为信息安全、可信计算。

  • 中图分类号: TP301;TP309

Research on TPM Based on State Machine Theory

Funds: 国家自然科学基金资助项目(60673071,60743003,90718005,90718006);国家863计划资助项目(2007AA01Z411,2006AA01Z442)
计量
  • 文章访问数:  624
  • HTML全文浏览量:  46
  • PDF下载量:  111
  • 被引次数: 0
出版历程
  • 收稿日期:  2008-08-28
  • 修回日期:  2008-08-28
  • 刊出日期:  2008-10-05

基于状态机理论的可信平台模块测试研究

    基金项目:  国家自然科学基金资助项目(60673071,60743003,90718005,90718006);国家863计划资助项目(2007AA01Z411,2006AA01Z442)
    作者简介:

    詹静,博士生。研究方向为信息安全、可信计算。

  • 中图分类号: TP301;TP309

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

English Abstract

詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069.
引用本文: 詹静, 张焕国, 徐士伟, 向騻. 基于状态机理论的可信平台模块测试研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1067-1069.
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.
Citation: 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.

目录

    /

    返回文章
    返回