期刊文献+

基于分区操作系统的安全审计模块设计

Design of Security Audit Module Based on Partition Operation System
下载PDF
导出
摘要 新一代航空电子综合化的发展,使得机载操作系统的复杂度越来越高,基于对机载操作系统空间隔离和资源隔离的需求,分区操作系统应运而生。随着机载操作系统分区化趋势的发展,分区操作系的实时性、可靠性和安全性必须得到重视。针对分区操作系统的安全性保障需求,设计出了一种面向分区操作系统的安全审计系统,用以审计分区操作系统中信息安全相关的信息。 With the integration trend of new generation avionics,the airborne operation system increasingly complex,on the demand of the time space and resource isolation,the partition operation system was developed.With the development of partition operation system,we must ensure the certainty,real-time performance,safety and reliability of partition operating system.On the demand of safety of partition operation system,article designed a security audit system for partition operation system,audit the information related to information security on partition operation system.
作者 刘鸽 尹超 周霆 LIU Ge;YIN Chao;ZHOU Ting(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)
出处 《航空计算技术》 2018年第5期114-115,共2页 Aeronautical Computing Technique
基金 工信部某预研项目资助(G488A0813002-3)
关键词 航电系统 分区操作系统 信息安全 安全审计 avionics system partition operating system information security security audit
  • 相关文献

参考文献3

二级参考文献6

  • 1刘霞,网络安全、审查与控制.WindowsNT Server安全性专辑,1994年
  • 2GB 17859 1999 中华人民共和国国家标准:计算机信息系统安全保护等级划分准则 1999
  • 3Dang Pham K, Jain AK, Cui J. Microkemel Hypervisor for a Hybrid ARM-FPGA Platform [ C ]//Washington: The George Washington University,2013.
  • 4Nalini Vasudevan, Stephen A Edwards. D2C : Deterministic, Deadlock- free Concurrency [ R ]. New York : Columbia Uni- versity,2010.
  • 5李运喜,梁小虎,叶宏,王蜜蜂.时间分区的设计与实现[J].航空计算技术,2010,40(4):76-79. 被引量:14
  • 6何翔,任晓瑞,刘帅.嵌入式多核操作系统确定性研究[J].航空计算技术,2014,44(3):96-100. 被引量:8

共引文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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