Kevin Muller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum. MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. In IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN 2012, Boston, MA, USA, June 25-28, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.