| (I) "The hardware, firmware, and software elements of a trusted
computing base that implement the reference monitor concept. It
must mediate all accesses, be protected from modification, and be
verifiable as correct." [NCS04] (See: reference monitor.)
(C) That is, a security kernel is an implementation of a reference
monitor for a given hardware base.
|
