publication venue for MILS-based information flow control in the avionic domain: A case study on compositional architecture and verification 2012
