MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.

Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum

Browse the full DSN paper archive.