Konstrukcja zweryfikowana

Konstrukcja zweryfikowana (ang. Verified Design) – według Trusted Computer System Evaluation Criteria poziom kryteriów oznaczony literą A1. Wymaga formalnego matematycznego dowodu poprawności modelu bezpieczeństwa, jak również formalnej specyfikacji systemu i bezpiecznej dystrybucji. Jak dotąd bardzo niewiele systemów uzyskało certyfikat tego poziomu.

Klasa A : Zweryfikowana ochrona	Konstrukcja zweryfikowana (A1)
Klasa B : Obowiązkowa kontrola dostępu	Ochrona z etykietowaniem (B1) Ochrona strukturalna (B2) Ochrona przez podział na domeny (B3)
Klasa C : Ochrona uznaniowa	Uznaniowe zapewnienie bezpieczeństwa (C1) Ochrona z kontrolą dostępu (C2)
Klasa D : Minimalna ochrona	Ochrona minimalna (D)