「セキュリティ・カーネル（SecurityKernel）とは、OS上でアクセス制御を行うためのリファレンスモニターという概念を具現化するツールです。リファレンスモニターとは、サブジェクトとオブジェクト間の全てのアクセスを監督・管理する概念で、この概念を実行し、制御するためにセキュリティ・カーネルが用いられます。これは、ハードウェアまたはソフトウェアシステムが中央集権的にリファレンスモニターが定義するルールを適用する役割を担っています。セキュリティカーネルは、全てのアクセスを仲介し、意図しない改ざんや悪意のある行為から防御するための機能が必須となります。」
