Una política de seguridad divide los estados del sistema en “seguros” e “inseguros”.
Esto implica que la seguridad del sistema es capturada por una serie de reglas explícitas. Hay que poner cuidado en que las políticas sean correctas.
Los mecanismos de seguridad pueden evitar que el sistema pase de un estado “seguro” a uno “inseguro”
Si definimos:
- : Conjunto de estados posibles del sistema
- : Conjunto de estados seguros según la política del sistema
- : Conjunto de estados permitidos por un mecanismo
Entonces:
- : El mecanismo es amplio (broad).
- : El mecanismo es preciso (precise).
- : El mecanismo es seguro (secure).
La unión de todos los mecanismos de seguridad de un sistema idealmente debería resultar en un mecanismo preciso.
En la práctica, los mecanismos son amplios (permiten alcanzar estados inseguros). Confiar en que los mecanismos funcionan requiere varios supuestos:
- Cada mecanismo está diseñado para implementar una o más partes de la política de seguridad.
- La unión de los mecanismos implementa todos los aspectos de la política de seguridad.
- Los mecanismos están correctamente implementados.
- Los mecanismos están correctamente instalados y administrados