Digamos que Paul, está autorizado para (SECRETO SUPERIOR, {A, C}) donde secreto superior es su autorización y A & C privilegios. Quiere acceder a un documento clasificado (Secreto, {B, C}) ..
Top secret trumps Secret, pero para que paul "domine" los permisos de los documentos debe ser un subconjunto de pauls. Qué B, C no es un subconjunto de A, C.
Entonces, mi pregunta es: ¿DEBE paul dominar el documento para poder acceder al período? He leído que dominar solo proporciona una jerarquía de clases. El modelo BLP sys reads downs está permitido, así que estoy un poco confundido acerca de esta situación.