Information, Computer and Network Security Terms Glossary and Dictionary

Bell-LaPadula Security Model

Bell-LaPadula Security Model is security policy model that describes a set of access control rules. By conforming to a set of rules, the model inductively proves that the system is secure. In this model, the entities in a computer system 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 the system is secure.

Related Terms

Bell-LaPadula Security Model