Małe, niezależne zbiór kluczowych stwierdzeń dotyczących bezpieczeństwa który działa jako atrakcyjną część systemu operacyjnego, określanie i egzekwowanie, kryteria, które muszą być spełnione dla programów i danych, które mają być dostępne.