Nieformalny opis ogólnego projektu systemu, który określa każdy z zastosowanych mechanizmów ochrony. Kombinacja, odpowiednia dla klasy ewaluacyjnej, technik formalnych i nieformalnych służy do wykazania, że mechanizmy są odpowiednie do egzekwowania polityki bezpieczeństwa.
Skrót: –
