期刊文献+

基于MILS架构的嵌入式操作系统多级安全域动态管理技术 被引量:5

Dynamical Management Technology of Multi-Level Security Domain for Embedded Operating System Based on MILS
下载PDF
导出
摘要 基于MILS架构的嵌入式操作系统能够实现不同应用分区之间不同密级数据的安全隔离。然而,现有基于MILS架构的嵌入式操作系统无法满足任务运行出现故障后正确安全迁移的需求,从而无法实现任务功能重构和实时动态加载的目标。因此,在对现有基于MILS架构的嵌入式操作系统的优点和不足进行分析的基础上,提出了面向任务的多级安全域动态管理架构,并详细描述了架构中各个功能模块的工作原理,从而能够保证任务在特定的安全域内进行动态迁移和功能重构。 The embedded operating system based on MILS architecture can achieve security isolation of data from different application partitions.However,the existing embedded operating systems based on MILS architecture can not meet the need of secure migration,and cannot complete tasks’functional reconstruction and real-time dynamic loading after the failure of task.Therefore,on the basis of analyzing the advantages and disadvantages of the existing embedded operating systems based on MILS,a task-oriented multi-level security domain management architecture was proposed.Besides,the working principle of each functional module in the architecture was described in detail,which can ensure the dynamic migration and functional reconstruction within a specific security domain.
作者 高沙沙 王中华 GAO Sha-sha;WANG Zhong-hua(Xi’an Aeronautics Computing Technique Research Institute,AVIC,Xi’an 710068,China;School of Computer Science and Technology,Xidian University,Xi’an 710071,China)
出处 《计算机科学》 CSCD 北大核心 2019年第S11期460-463,共4页 Computer Science
基金 装发预研项目(31511020202)资助
关键词 多级安全域 MILS 功能重构 Multi-level security domains MILS Functional reconstruction
  • 相关文献

参考文献10

二级参考文献42

  • 1崔西宁,沈玉龙,马建峰,谢克嘉.综合化航空电子系统中基于可信计算的访问控制模型[J].通信学报,2009,30(S2):86-90. 被引量:2
  • 2Myung Chin Kim, Woo Seop Oh, Jong Hoon Lee, et al. Development of a system integration laboratory for aircraft avionics systems. Portland, 2008:5. A. 1.1-5. A. 1.11. 被引量:1
  • 3Robinson J C, Alves-Foss J. A high assurance MLS file server. ACM SIGOPS Operating System Review, 2007; Jan :45-53. 被引量:1
  • 4Irvine C E. A multilevel file system for high assurance. In:Proceed- ings of IEEE Symposium on Security and Privacy (Oakland, CA, May 8-10, 1995), 1995:78-87. 被引量:1
  • 5Harrison W S, Hanebutte N, Oman P, et al. The MILS architecture for a secure global information grid. Journal of Defense Software Engi- neering,2005 ; Oct:20-25. 被引量:1
  • 6Alves-Foss J, Oman P W, Taylor C, et al. The MILS architecture for high-assurance embedded system. International Joumal of Embedded Systems, 2006 ;2 ( 3/4 ) :239-247. 被引量:1
  • 7白吉吉,吴俊军.嵌入式安全文件系统的研究与实现.武汉:华中科技大学硕士学位论文,2007. 被引量:1
  • 8Alves J, Harrison W S, Oman P, et al. The MILS Architecture for High-Assurance Embedded Systems[J]. International Jour- nal of Embedded System, 2005,2 (3/4) : 239-247. 被引量:1
  • 9杨剑锋,等.分布式系统原理与规范[M].北京:清华大学出版社,2001. 被引量:1
  • 10Boettcher C, Delong R, Rusby J, et al. The MILS Component In- tegration Approach to Secure Information Sharing[M]. IEEE, DASC,2008:1. C. 2-1-1. C. 2-14. 被引量:1

共引文献5

同被引文献73

引证文献5

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部