High assurance security and safety for digital avionics
J.M. Jacob · 2005
This paper describes: 1. Why security is important for the new generation of digital avionics, 2. A significant evolution to computer security architectures and secure communications MILS (multiple independent levels of security/safety) capable of the high assurance to support MLS (multi-level security) systems without the complexity of traditional MLS systems, 3. The MILS RTOS partitioning kernel architecture, 4. The MILS secure communications partitioning communications system architecture, and 5. Real-time MILS CORBA.