Konstrukcja zweryfikowana ang. Verified Design

Konstrukcja zweryfikowana - 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.

Zobacz też

TCSEC

Bibliografia

Konstrukcja zweryfikowana na Wikipedii pl
ostatnia modyfikacja 20 sierpnia 2016 r.