セキュリティカーネル(Security Kernel)が満たすべき要件として、システムの他の部分から独立し、干渉を受けないように保護されている状態を何と呼ぶか。

セキュリティカーネルはTCBのハードウェア・ファームウェア・ソフトウェア要素であり、OSの他の部分からの改変や妨害を受けないよう「分離」されていなければならない。