MILS (Multiple Independent Levels of Security/Safety) merges the best from current industry practice, safety and security standards. MILS significantly reduces the amount of security/safety-critical code, enabling formal methods and modelling and rigorous mathematical verification of that code, significantly increasing its effectiveness.
