Bell-La Padula security model
Bell-La Padula security model:
[A] formal state-
transition
model of a
computer security
policy that describes a formal
set
of
access
controls based on
information
sensitivity
and subject authorizations. [
INFOSEC
]