您的位置: 专家智库 > >

国家自然科学基金(6063320)

作品数:1 被引量:2H指数:1
相关作者:王玉磊周利华邱罡更多>>
相关机构:西安电子科技大学南阳理工学院更多>>
发文基金:南阳市科技攻关计划项目河南省科技攻关计划国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇信息流
  • 1篇远程
  • 1篇远程证明
  • 1篇完整性
  • 1篇无干扰
  • 1篇无干扰理论
  • 1篇可信计算

机构

  • 1篇南阳理工学院
  • 1篇西安电子科技...

作者

  • 1篇邱罡
  • 1篇周利华
  • 1篇王玉磊

传媒

  • 1篇四川大学学报...

年份

  • 1篇2010
1 条 记 录,以下是 1-1
排序方式:
基于无干扰理论的完整性度量模型被引量:2
2010年
针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度量。对该模型进行形式化的描述和分析表明,该模型直观、易懂,且不局限于某种特定的实现方式。
邱罡王玉磊周利华
关键词:信息流无干扰可信计算远程证明
共1页<1>
聚类工具0