您的位置： 专家智库 > >

教育部重点实验室开放基金(AISTC2008Q02)

作品数：1 被引量：1H指数：1
相关作者：何凡严飞孟学军杨飏张焕国更多>>
相关机构：武汉理工大学武汉大学更多>>
发文基金：教育部重点实验室开放基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇可信计算
  • 1篇可信计算平台
  • 1篇可信软件栈
  • 1篇计算树逻辑

机构

  • 1篇武汉大学
  • 1篇武汉理工大学

作者

  • 1篇张焕国
  • 1篇杨飏
  • 1篇孟学军
  • 1篇严飞
  • 1篇何凡

传媒

  • 1篇武汉大学学报...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型检测的可信软件栈测试被引量：1
2010年
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.
何凡张焕国严飞杨飏汪红孟学军
关键词：可信计算平台可信软件栈计算树逻辑
全选 清除 导出
共1页<1>
聚类工具0