La satisfaction d'exigences de sécurité élevées, notamment dans le domaine militaire (EAL 5 à 7), ou, dans le domaine civil, pour les systèmes critiques (énergie, transport, chimie...), demande l'application de méthodes particulières.
Les méthodes formelles sont en général employées afin d'atteindre ces exigences.
Les autres critères (ITSEC, TCSEC)
Les niveaux standards pour EAL correspondent au système européen (ITSEC) et américain (TCSEC).