A security kernel is defined as the hardware, firmware, and software elements of a trusted computing base that implement the reference monitor concept

A reference monitor is a system component that enforces access controls on an object