Formal models of operating systems kernels / Iain D. Craig.

By: Craig, IMaterial type: TextTextSeries: 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.
Contents:
Introduction; Standard and Generic Components; A Simple Kernel; A Swapping Kernel; Using Messages in the Swapping Kernel; Virtual Storage; Final Remarks.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

There are no comments on this title.

to post a comment.