基于微内核虚拟机架构的安全保障模型研究

Research on Security Assurance Model for Microvisor Architecture

针对航空电子系统高度综合化、模块化的需求,采用微内核架构的虚拟机管理器,提出微内核虚拟机+基础安全套件+安全通信组件的体系架构模型。模型能够有效保护设备和数据,实现从启动到运行、数据传输直至关机的全程保护,为机载基础软件平台提供全生命周期安全防护能力。

Aiming at the requirements of high integrate and modular in avionics system,used microvisor architecture,an architecture model of microvisor plus basic security profile plus security communication component is presented in this paper.The model protect devices and data efficiently and effectively at every stage-from boot-up to operation to data transmission to powering down,providing the entire lifecycle security protection for airborne platform.