The Separation Kernel
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 .
KeywordsAddress Space Device Process User Process Secure Application Kernel Space
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.
Unable to display preview. Download preview PDF.
© Springer-Verlag London Limited 2007