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.