Formal Models of Operating System Kernels

• Main Author: Craig, Iain D. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2007.
• Subjects: Computer science.; Architecture, Computer.; Software engineering.; Operating systems (Computers).; Computer science > Mathematics.; Computer Science.; Computer System Implementation.; Operating Systems.; Software Engineering.; Discrete Mathematics in Computer Science.; Math Applications in Computer Science.

The kernel of any operating system is its most critical component, the remainder of the system depends upon a correctly functioning and reliable kernel for its operation – what is more, a kernel that has security flaws can be exploited by malicious users. Kernels are notoriously complex and hard to...

Table of Contents:

• Standard and Generic Components
• A Simple Kernel
• A Swapping Kernel
• Using Messages in the Swapping Kernel
• Virtual Storage
• Final Remarks.