非干渉モデル（Noninterference Model）

非干渉モデル（Noninterference Model）とは、ひとことで言えば、高いセキュリティレベルの主体の操作が、低いレベルの主体から観測できる出力に一切影響を与えないことを保証するセキュリティモデルです。これにより、隠れチャネルを通じた情報漏洩を理論的に防止できます。たとえば管理者の操作タイミングが一般ユーザーから推測できないよう設計することなどが該当し、マルチレベルセキュリティの厳密な定式化として用いられます。