Software

Advanced Development of Certified OS Kernels

Free registration required

Executive Summary

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