Ядро безопасности (security kernel) — программные и аппаратные элементы ДВБ (TCВ), реализующие концепцию монитора ссылок. Они должны разделять все попытки доступа субъектов к объектам, быть защищенным от модификации и проверены на корректное выполнение своих функций.
[Словарь терминов по информационной безопасности. УГАТУ. (Электронный ресурс). Режим доступа: http:// studfile.net›preview/951057/, свободный.]