Eine Spezifikation, die definiert, sicherheitsrelevante Datenobjekte und Regeln über die Verwendung der Objekte zur Aufrechterhaltung der Sicherheit auf einem Computersystem.