MILS virtualization for Integrated Modular Avionics
an empirical study into the security exposure to hosts of hostile virtualized environments tavis .