Contents:
-
NIST RBAC model: a standardized definition of role based access control.
-
Bell–LaPadula model: a state machine model used for enforcing access control in government and military applications.
-
Biba Model: a formal state transition system of computer security policy that describes a set of access control rules designed to ensure data integrity.