ベル・ラパドゥラモデル
ベル・ラパドゥラモデルの安定の原則は、サブジェクトまたはオブジェクトの分類が参照されている間は変化しないことを示している。安定の原則には2つの形式がある。「強い安定の原則」は、システムの通常の運用中にセキュリティレベルが変わらないことを示している。「弱い安定の原則」は、セキュリティレベルが、定義されたセキュリティポリシーに違反するような方法で決して変更されない可能性があることを示している。弱い安定ではシステムが最小特権の原則を遵守できるため、弱い安定の方が望ましい。つまり、プロセスは、所有者の許可に関係なく低い許可レベルで開始され、アクションが必要とするにつれて徐々に高い許可レベルを蓄積する。
ベル・ラパドゥラモデル ( BLP )は、政府および軍事アプリケーションでアクセス制御を実施するために使用されるステートマシンモデルである。 米国国防総省 (DoD)のマルチレベルセキュリティ (MLS)ポリシーを形式化するために、Roger R. Schellの強力なガイダンスに続いて、David Elliott Bell とLeonard J. LaPadulaによって開発された。このモデルは、コンピューターセキュリティポリシーの正式な状態遷移モデルであり、オブジェクトのセキュリティラベルとサブジェクトのクリアランスを使用するアクセス制御ルールのセットを記述する。セキュリティラベルは、最も機密性の高いもの(例:「トップシークレット」)から、最も機密性の低いもの(例:「未分類」または「パブリック」)まである。
ベル・ラパドゥラモデルは、保護とセキュリティの間に明確な区別がないモデルの例である。