MILS机载安全操作系统设计

作     者：胡林平 HU Lin-ping

作者机构：中航工业西安航空计算技术研究所陕西西安710068 

基　　金：航空科学基金项目资助(20091931006) 

出 版 物：《航空计算技术》 (Aeronautical Computing Technique)

年 卷 期：2012年第42卷第2期

页      码：110-112,122页

摘      要：针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。

主 题 词：多级安全 微内核 时空隔离 

学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1671-654X.2012.02.028

馆 藏 号：203873007...