Definition Edit

The Bell-La Padula model is

[a] formal state transition model of computer security policy that describes a set of access control rules for hierarchical (e.g., classified) information structures. In this model the entities in a computer are divided into abstract sets of subjects and objects. The notion of a secure state is defined, and it is proven that each state transition preserves security by moving from secure state to secure state, thereby inductively proving that a system is secure. A system state is defined to be "secure" if the only permitted access modes of subjects to objects are in accordance with a specific security policy. To determine if a specific access mode is allowed, the clearance of a subject is compared to the classification of the object.[1]

References Edit

  1. NASA Automated Information Security Handbook, App. C.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.