您的位置: 专家智库 > >

古和亦

作品数:1 被引量:2H指数:1
供职机构:中国人民武装警察部队警官学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇信息流控制
  • 1篇流控
  • 1篇流控制
  • 1篇架构
  • 1篇高可信
  • 1篇BLP安全模...
  • 1篇HADES

机构

  • 1篇电子科技大学
  • 1篇中国人民武装...

作者

  • 1篇桑楠
  • 1篇杨霞
  • 1篇熊光泽
  • 1篇古和亦

传媒

  • 1篇电子科技大学...

年份

  • 1篇2012
1 条 记 录,以下是 1-1
排序方式:
Hades高可信架构中分区间信息流控制的研究被引量:2
2012年
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。
杨霞古和亦汪强桑楠熊光泽
关键词:BLP安全模型信息流控制
共1页<1>
聚类工具0