Problem Statement
Which access control model enforces rules based on fixed security labels for subjects and objects (e.g., Top Secret, Secret, Unclassified)?
Explanation
The Bell-LaPadula model is a formal state-machine model designed for enforcing confidentiality policies in military/government systems, using security classifications such as Top Secret and Secret. Knowing formal models shows strong system security theory knowledge.
