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

Research on Security Assurance Model for Microvisor Architecture

作　　者：张灯[1] 黄凡帆 ZHANG Deng;HUANG Fan-fan(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2020年第2期94-96,100,共4页Aeronautical Computing Technique

基　　金：装备预研联合基金项目资助(6141B05060401)。

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

关 键 词：体系架构 微内核虚拟机 安全保障 安全套件 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]