MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures
THE AIRBUS APPROACH TO OPEN INTEGRATED MODULAR AVIONICS (IMA): TECHNOLOGY, METHODS, PROCESSES AND FUTURE ROAD MAP