BIBAモデルの整合性ルールにおいて、上位レベルのプロセスが下位レベルのデータを読み取ることを禁止するルールはどれか。

Simple Integrity Propertyは「No Read Down」を規定し、信頼性の低いデータが信頼性の高いプロセスを汚染することを防ぐ。