Template rapport d’évaluation
Structure standard des rapports d’évaluation formelle émis par le CFVL. Ce document définit les sections obligatoires, les métadonnées et le format de chaque rapport.
Un format standardisé
Chaque rapport d’évaluation formelle émis par le CFVL suit une structure identique. Cette standardisation garantit la comparabilité entre évaluations, la traçabilité dans le temps et la compatibilité avec les processus de certification.
Sections du rapport
Identification
Composant évalué, version (tag Git + SHA-256), date de soumission, date d’évaluation, identifiant unique du rapport (CFVL-EVAL-xxx).
Périmètre
Frontières du composant évalué, interfaces, dépendances, hypothèses sur l’environnement. Ce qui est dans le périmètre et ce qui est explicitement hors périmètre.
Exigences de sécurité (SFR)
Liste des Security Functional Requirements évalués. Chaque SFR est identifié, numéroté et lié à la spécification du composant.
Cartographie SFR → Théorèmes
Matrice de traçabilité. Chaque SFR est mappé vers les théorèmes Isabelle/Coq/Frama-C qui le couvrent. Les SFR non couverts sont identifiés.
Résultats de vérification
Résultats de recompilation : sessions, temps, résultats. Invariant : 0 sorry, 0 Admitted, 0 FAIL, 0 timeout. Tout écart est documenté.
Lacunes et hypothèses
Propriétés non couvertes, hypothèses non vérifiables, simplifications du modèle, limites de l’abstraction. Section obligatoire même si vide.
Avis formel
Verdict du CFVL : Conforme / Conforme avec réserves / Non conforme. Justification. Réserves détaillées le cas échéant.
Métadonnées
Versions des outils (Isabelle, Coq, Frama-C, etc.), commandes de reproduction, hash des artefacts, signature du rapport, archivage PRISM™.
Informations de traçabilité
Chaque rapport contient les métadonnées nécessaires à sa reproductibilité et à son archivage.
Composant : [nom] v[version]
Tag Git : [tag]
SHA-256 : [hash]
Date soumission : [YYYY-MM-DD]
Date évaluation : [YYYY-MM-DD]
Isabelle : [version]
Coq : [version]
Frama-C : [version]
Avis : [Conforme | Avec réserves | Non conforme]
Archivage PRISM™ : [référence]
CFVL-DOC-004 · Template rapport · Version 1.0 · Février 2026