MILS virtualization for Integrated Modular Avionics
an empirical study into the security exposure to hosts of hostile virtualized environments tavis .
ipv6 over low - power wireless personal area networks ( 6lowpans ) : overview , assumptions , problem statement , and goals .