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.

1. State Machine Model
2. Information Flow Model
3. Graham-Denning Model
4. HRU Model
5. Non-Interference Model
6. Clark-Wilson Model
7. Matrix Based Model
8. Take Grant Model

Refer to below mindmap to know more details about these models.