ベル・ラパドゥラモデル - Wikipedia

ベル・ラパドゥラモデル （ BLP ）は、政府および軍事アプリケーションでアクセス制御を実施するために使用されるステートマシンモデルである。[1] 米国国防総省 （DoD）のマルチレベルセキュリティ （MLS）ポリシーを形式化するために、Roger R. Schellの強力なガイダンスに続いて、David Elliott Bell [2]とLeonard J. LaPadulaによって開発された。[3][4][5]このモデルは、コンピューターセキュリティポリシーの正式な状態遷移モデルであり、オブジェクトのセキュリティラベルとサブジェクトのクリアランスを使用するアクセス制御ルールのセットを記述する。セキュリティラベルは、最も機密性の高いもの（例：「トップシークレット」）から、最も機密性の低いもの（例：「未分類」または「パブリック」）まである。 ベル・ラパドゥラモデルは、保護とセキュリティの間