in Critical Domains D-MILS: Distributed MILS for dependable information and communication infrastructures . certMILS: Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats See also Multiple Levels of Security Secure by design References Rushby, J., 2008. Separation and integration in MILS (The MILS constitution). Technical Report SRI-CSL-08-XX, SRI International. Operating system security Operating system technology