Modelos de seguridad: Bell-LaPadula, Biba, Clark-Wilson y Brewer-Nash

Los modelos de seguridad son descripciones formales de cómo un sistema debe aplicar una política de seguridad. Son abstractos, pero el examen los evalúa de formas predecibles: qué propiedad protege un modelo y qué prohíben sus reglas. Antes de profundizar, recuerda el vocabulario. El sujeto es la entidad activa, como un usuario o un proceso. El objeto es el recurso pasivo, como un archivo o un registro. Un modelo basado en retículas (lattice) ordena los niveles de seguridad y asigna un nivel a cada sujeto y objeto, y esta retícula es la base del control de acceso obligatorio (MAC).