Questa parte del ST presenta le prove usate nella valutazione del ST. Queste prove affermano che il ST è un un insieme completo e coeso di requisiti che, conformi ad un TOE, forniscono un effettivo insieme di contromisure di sicurezza IT in un ambiente sicuro e che il sommario delle specifiche del TOE applica quei requisiti. I fondamenti logici inoltre dimostrano che qualunque richiesta alla conformità di un PP è valida.
I fondamenti logici devono contenere i seguenti argomenti:
