サザーランドモデルとは、非演繹性をもつ完全性モデルです。

サザーランドモデルは、PERT図のように状態遷移を示すステートマシンモデルや情報フローモデルに基づいており、完全性を維持するために干渉を防ぐことが前提となっています。

冒頭で完全性モデルと言っていますが、セキュリティモデルに当てはめると完全性と言えるだけで、完全性を保護するための具体的な制約が示されているものではありません。

ただ、サザーランドモデルに当てはめられた問題は情報の流れをより適切に取り込めることができ、秘密チャンネルを特定し使用されるのを防ぐことに貢献します。