基于MILS架构的高可信嵌入式操作系统研究

• 作者: 闫路平 龚乐中
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 安全关键系统 MILS架构 分离内核 高可信操作系统架构 半虚拟化技术
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 安全与保密
• 页码范围: 1029-1035
• 页数: 7页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2017.05.035

摘要

为增强嵌入式安全关键系统的高可信能力,在分析现有高可信保障机制现状的基础上,提出一种基于MILS架构的高可信操作系统架构,并重点研究该架构的实现技术,实现了可信分离内核,为该架构提供了基础.为了给不同安全等级的应用程序建立隔离的执行环境,实现了虚拟分区的空间隔离机制和分区切换技术.此外,通过建立两级调度机制,解决了客户OS中的任务调度问题.最后,采用半虚拟化技术,实现了多个RTOS同时在可信分离内核上的运行,并以uC/OS为例,实现了一个实验原型,验证了所提技术和方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚乐中		4	9	2.0	3.0
2	闫路平		2	7	2.0	2.0