MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures
the mils architecture for a secure global information grid .