「セキュリティカーネル」が満たすべき3つの要件に含まれないものはどれか。

セキュリティカーネルは、全てのアクセスを仲介し(完全性)、改ざんから保護され(分離)、正しさを証明できる(検証可能性)必要がある。