1. Formalen Zustandsübergang Modell für eine Computer-Sicherheitsrichtlinie, die eine formale Gruppe von Zugriffskontrollen auf der Grundlage von Informationen Empfindlichkeit und Thema Berechtigungen beschreibt. . 2. A formale Übergang Staatsmodell des Computer-Sicherheitsrichtlinie, die eine Gruppe von Zugriffsregeln beschreibt. In diesem formalen Modell gliedern sich die Entitäten in einem Computersystem in abstrakten Sätze von Subjekten und Objekten. Die Vorstellung eines sicheren Staates definiert ist und es ist bewiesen, dass jeder Zustandsübergang Sicherheit erhält durch Verschieben von sicheren Zustand in einen sicheren Zustand; somit induktiv beweisen, dass das System sicher ist. Ein System Zustand ist definiert "Sichern", wenn er der einzige Zugang gestattet, die eine bestimmte Sicherheitsrichtlinie Modi der Themen zu den Objekten entsprechen. Um festzustellen, ob eine bestimmte Zugriffsmodus ist zulässig, die Abfertigung eines Subjekts die Einstufung des Objekts gegenüber ist und erfolgt eine Festlegung, ob das Thema für den spezifischen Zugriffsmodus autorisiert ist. Die Freigabe/Klassifikation Schema wird in einem Gitter ausgedrückt. Siehe auch: Gitter, einfache Sicherheitseigenschaft, *-Eigenschaft.