Laying the Mathematical Foundation for Secure Operating Systems

This landmark 1979 paper introduced a rigorous mathematical framework for proving operating system security properties, moving beyond assertion-based approaches to formal verification. PSOS established foundational principles for kernel design that remain influential in modern OS architecture, particularly vital as cybersecurity threats continue to expose vulnerabilities across billions of systems worldwide.