高安全等级操作系统关键技术研究

摘要：

随着Internet的高速发展,安全问题显得日益重要,而传统的操作系统作为当前信息系统的安全基础,其采用的安全机制已不能满足一些关键安全领域的应用需求.由Green Hills公司开发的INTEGRITY-178B是当今市场上安全级较高的实时操作系统,已通过FAA DO-178B A级认证,目前正申请通用标准EAL6+级安全评估.本文以INTEGRITY-178B为例,分析了它的实现机制,着重研究了其为实现高安全性而采用的MILS结构与虚拟分区技术.

关键词： 操作系统 安全机制 MILS结构 虚拟分区技术

作者: 郭祥艳 李艺

作者单位: 装备指挥技术学院,101416

会议类型: 国内会议

会议名称: 2006北京地区高校研究生学术交流会

会议地点: 北京

会议语种:中文

页码: 1437-1443

在线出版日期: 2006-12-22（万方平台首次上网日期，不代表论文的发表时间）