Security Kernel

A security kernel is the Hardware, firmware, and software elements of a trusted computing base implementing the reference monitor concept.  A security kernel must mediate all accesses, be protected from modification, and be verifiable as correct