Bell-LaPadula Modell

Ziel: - EinfacheRegelkn zur Beschränkung von Informationsflüssen - Schutz der Vertraulichkeit von Infromationen durch systembestimmte Regeln - Umsetzung von Mandatory Access Control (MAC) Ansatz: Multi-Level-Security - Objekte und Subjekte haben Sicherheitsklassen zugeordnet - Labels entscheiden über Zugriffrechte - Erweiterung der DAC-Regeln einer Zugriffsmatrix M_t und MAC-Regeln >> Simple-Security-Property >> Strong Tranquility Regel >>>> Keine Änderung der Subject-Cleareance bzw. Object-Classification während Systemlaufzeit