Back

security model

A mathematical or conceptual representation for specifying and proving system security [CESG]. Examples: Non-interference model, Information Flow model, Bell-LaPadula model.


Glossary