Terms for subject Security systems containing security kernel

English	Russian
external security kernel	внешнее ядро безопасности (не входящее в операционную систему)
security kernel	ядро системы защиты