• # Des certifications CC-EALx

    Posté par . En réponse à la dépêche Mandrakesoft retenue pour le développement d'un système d'exploitation ouvert de haute sécurité. Évalué à 8.

    Pour ceux qui comme moi ne le savaient pas, les niveaux d'assurance CC-EAL correspondent à :
    • EAL1 : functionally tested
    • EAL2 : structurally tested
    • EAL3 : methodically tested and checked
    • EAL4 : methodically designed, tested, and reviewed
    • EAL5 : semiformally designed and tested
    • EAL6 : semiformally verified design and tested
    • EAL7 : formally verified design and tested
    Le passage au niveau EAL5 me semble significatif, puisqu'il introduit l'utilisation de méthodes semi-formelles.