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