您的位置： 专家智库 > >

刘国斌

作品数：1 被引量：2H指数：1
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇完整性
  • 1篇微内核
  • 1篇消息通信
  • 1篇内核
  • 1篇安全保障
  • 1篇操作系
  • 1篇操作系统

机构

  • 1篇南京大学

作者

  • 1篇黄皓
  • 1篇于淑英
  • 1篇刘国斌

传媒

  • 1篇计算机科学

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
微内核完整性保障研究与应用被引量：2
2009年
为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内核结构的简单性和模块化为形式化验证奠定了基础。原型系统Nutos利用Flask安全体系结构为用户提供灵活多策略的强制访问控制,由微内核多服务器结构为Flask中的安全服务器和引用监控器提供完整性保障,确保安全策略的正确实施。
于淑英黄皓刘国斌
关键词：完整性安全保障微内核消息通信操作系统
全选 清除 导出
共1页<1>
聚类工具0