Elementos
hardware, firmware y software que conjuntamente proporcionan la funcionalidad requerida
por un monitor de referencia. El kernel de seguridad debe intermediar todos los
accesos, debe estar protegido frente a modificaciones no autorizadas y debe ser
posible verificar que funciona correctamente.
Hardware, firmware, and
software elements of a trusted computing base implementing the reference
monitor concept. Security kernel must mediate all accesses, be protected from
modification, and be verifiable as correct. [CNSSI_4009:2010]