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.
High assurance security and safety for digital avionics
2004-01-01
563644 byte
Conference paper
Electronic Resource
English
High Assurance Security and Safety for Digital Avionics
British Library Conference Proceedings | 2004
|Aircraft separation assurance avionics
AIAA | 1981
|