您的位置： 专家智库 > >

刘贤刚

作品数：1 被引量：6H指数：1
供职机构：中国电子技术标准化研究所信息技术研究中心更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇有限状态机
  • 1篇状态机
  • 1篇可信计算
  • 1篇可信计算模块
  • 1篇可信计算组织
  • 1篇TPM

机构

  • 1篇中国电子技术...
  • 1篇中国科学院研...
  • 1篇中国科学院软...

作者

  • 1篇马楠
  • 1篇崔奇
  • 1篇刘贤刚

传媒

  • 1篇计算机工程

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
TPM接口命令标准符合性测试的设计与实现被引量：6
2009年
标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的。
崔奇马楠刘贤刚
关键词：可信计算模块可信计算组织有限状态机
全选 清除 导出
共1页<1>
聚类工具0