Formal Models of Operating System Kernels

• Κύριος συγγραφέας: Craig, Iain D. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2007.
• Θέματα: 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...