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
01.01.2004
563644 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
High Assurance Security and Safety for Digital Avionics
British Library Conference Proceedings | 2004
|Aircraft separation assurance avionics
AIAA | 1981
|Design Assurance Evaluation of Microcontrollers for safety critical Avionics
ArXiv | 2018
|