"static/chunks/8173-ded0155fecbcc4f0.js","9363","static/chunks/9363-e94b65482acc91fb.js","2623","static/chunks/2623-3c82bddfcccb14b3.js","6977","static/chunks/6977-d6f216466e3bc67b.js","3404","static/chunks/3404-ce93a50f578843da.js","504","static/chunks/504-57a2c99dd58f2eac.js","1700","static/chunks/1700-2e3262314b3fc369.js","5405","static/chunks/5405-4135bebeba5601b1.js","7081","static/chunks/7081-2ecec8bd6200a899.js","9321","static/chunks/9321-13ca570b2325758f.js","8230","static/chunks/8230-7f0ec33d72b3d9cf.js","7420","static/chunks/app/(product)/%5Blang%5D/%5Bbucket%5D/%5B...title%5D/page-373334d059c609d2.js"],"default"] 46:T54b,

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.