Date Added: Jul 2010
Operating System (OS) kernels form the bedrock of all system software - they can have the greatest impact on the resilience, extensibility, and security of today's computing hosts. A single kernel bug can easily wreck the entire system's integrity and protection. The authors propose to apply new advances in certified software to the development of a novel OS kernel. The certified kernel will offer safe and application-specific extensibility, provable security properties with information flow control, and accountability and recovery from hardware or application failures.