Bell-LaPadula Model

A diagram illustrating the Bell-LaPadula Model, a state machine model used for enforcing access control in government and military applications. The model is based on the concept of secure states and defines two main rules: the Simple Security Property (no read up, or NRU) and the *-property (no write down, or NWD).