Download now Free registration required
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.
- Format: PDF
- Size: 1938.4 KB