Separation microkernel security studies and its formal verification related work

• Main Author: Lu, Shengliang
• Other Authors: Liu Yang
• Format: Final Year Project
• Language: English
• Published: 2016
• Subjects: DRNTU::Engineering
• Online Access: http://hdl.handle.net/10356/66712
• Institution: Nanyang Technological University

A separation kernel provides temporal and spatial separation among applications or partitions. This type of kernels ensure that there are no unwanted channels for information flows between partitions. XtratuM, an open source separation microkernel, is implemented based on ARINC 653 standard for safe...