Bell-La Padula Security Model
- Formal-state transition model of computer security policy that describes a formal set of access controls based on information sensitivity and subject authorizations. See Formal Security Policy Model, Simple Security Property, and Star Property (*-property).