「強制アクセス制御(MAC)」モデルにおいて、Bell-LaPadulaモデルが採用している、上位分類の情報を下位分類に書き込むことを禁止するプロパティはどれか。

* Star Security Propertyが該当