A security model maps the desires of the security policy makers to the rules that a computer system must follow.
We can also say; It lays out the framework and mathematical models that act as security-related specifications for a system architecture.
Different model types exhibit various approaches to achieving this goal. Below are the models discussed in this section.
- State Machine Model
- Information Flow Model
- Graham-Denning Model
- HRU Model
- Non-Interference Model
- Clark-Wilson Model
- Matrix Based Model
- Take Grant Model
Refer to below mindmap to know more details about these models.