The next refinement is of a Separation Kernel. The Separation Kernel is an architecture introduced by John Rushby as an architecture of cryptographic and other secure applications [11].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2007). The Separation Kernel. In: Formal Refinement for Operating System Kernels. Springer, London. https://doi.org/10.1007/978-1-84628-967-5_4
Download citation
DOI: https://doi.org/10.1007/978-1-84628-967-5_4
Publisher Name: Springer, London
Print ISBN: 978-1-84628-966-8
Online ISBN: 978-1-84628-967-5
eBook Packages: Computer ScienceComputer Science (R0)