A1 - bezpieczeństwo począwszy od fazy projektu) najwyższy poziom zabezpieczeń systemu komputerowego wg TCSEC; powinien spełniać warunki B3, wykazane przy użyciu formalnych języków dowodzenia poprawności algorytmów.
