セキュリティカーネルとは、参照モニターを実装したハードウェアやファームウェア、ソフトウェアです。
特性なものを指すわけではなく、参照モニターを実装しているものを指します。
コンピュータ基盤 セキュリティ
