Ένα επίσημο κρατικό μοντέλο μεταβατική πολιτική ασφαλείας υπολογιστή που περιγράφει ένα σύνολο από τους κανόνες ελέγχου πρόσβασης.