Abstract
Operating systems are, arguably, the most critical part of any computer system. The kernel manages the computational resources used by applications. Recent episodes have shown that the operating system is a significant thorn in the side of those desiring secure systems. The reliability of the entire operating system, as well as its performance, depends upon having a reliable kernel. The kernel is therefore not only a significant piece of software in its own right, but also a critical module.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2007). Introduction. In: Formal Models of Operating System Kernels. Springer, London. https://doi.org/10.1007/978-1-84628-718-3_1
Download citation
DOI: https://doi.org/10.1007/978-1-84628-718-3_1
Publisher Name: Springer, London
Print ISBN: 978-1-84628-375-8
Online ISBN: 978-1-84628-718-3
eBook Packages: Computer ScienceComputer Science (R0)