Advertisement

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].

Keywords

Address 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 2007

Personalised recommendations