Formal models of operating systems kernels / Iain D. Craig.Material type: TextSeries: SpringerPublisher: New York ; London : Springer, c2007Description: 1 online resource (xi, 333 p.)ISBN: 9781846287183; 1846287189; 9786610804726; 6610804729; 1846283752 (Cloth); 9781846283758 (Cloth)Subject(s): Operating systems (Computers)Additional physical formats: Print version:: Formal models of operating systems kernels.LOC classification: QA76.76.O63 | C73 2007Online resources: Click here to view this ebook.
|Item type||Current location||Call number||URL||Status||Date due||Barcode|
|Electronic Book||UT Tyler Online Online||QA76.76.O63 C73 2007 (Browse shelf)||http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-1-84628-718-3||Available||ocn184930548|
Includes bibliographical references and index.
Introduction; Standard and Generic Components; A Simple Kernel; A Swapping Kernel; Using Messages in the Swapping Kernel; Virtual Storage; Final Remarks.
Aims to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them. This book shows what can be inferred about a design and also discusses the properties of data structures and mechanisms.
Description based on print version record.