リプナー（Lipner）モデル
合わせ技モデル
グラハムデニング（Graham-Denning）モデル
グラハムって、めっちゃうまそう
チャイニーズウォールモデル（Brewer-Nash Model）
ゲーム理論のフローモデル
クラークウィルソン（Clark-Wilson）モデル
プログラムが割り込んできたセキュリティモデル
Bibaモデル
完全性のセキュリティモデル
格子ベースアクセスコントロール（lattice-based access control）
すべての部分グループに成り立つ
