MILS机载安全操作系统设计

• 作者: 胡林平
• 来源期刊: 航空计算技术
• 关键词: 多级安全 微内核 时空隔离
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 计算机软件
• 页码范围: 110-112,122
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2012.02.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡林平		3	9	2.0	3.0