您的位置： 专家智库 > >

苑飞

作品数：1 被引量：0H指数：0
供职机构：陆军航空兵学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇BLP模型
  • 1篇存储环境

机构

  • 1篇北京工业大学
  • 1篇陆军航空兵学...

作者

  • 1篇阮富生
  • 1篇王博
  • 1篇刘智君
  • 1篇苑飞

传媒

  • 1篇微计算机信息

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
在可信存储环境下对BLP模型的改进
2010年
BLP模型是最早、也是最著名的一种计算机多级安全模型,但是其并不完全适用于实现可信存储要求的安全场合。因此,文章在可信存储环境下对BLP模型进行了改进。改进的BLP模型是专门针对可信存储应用场合定义的二级安全模型,其更适合于实现可信存储要求,其也是对可信存储环境下安全需求的形式化描述。
刘智君阮富生王博苑飞
关键词：BLP模型形式化描述
全选 清除 导出
共1页<1>
聚类工具0