Requirements on the Use of Coq in the Context of Common Criteria Evaluations – v1.1
NOTE-13 Interprétation du composant CC d’analyse des procédures de correction systématique des anomalies de sécurité (ALC_FLR.3) NOTE-13 Interpretation of the CC component analysing the procedures for systematic correction of security flaws (ALC_FLR.3) NOTE-15 Signature présumée fiable et Secure Messaging dans le cadre des cartes à microprocesseur. NOTE-15 Qualified signature and secure messaging in the context of microprocessor cards NOTE-16 Expertise complémentaire pour des évaluations de produits bancaires. NOTE-16 Complementary expertise for banking products evaluation NOTE-17 Réutilisation des composants d’assurance ALC NOTE-17 ALC assurance class re-use – v.1 NOTE-18 Prise en compte des outils dans les évaluations logicielles NOTE-18 acknowledgement of tools in software evaluations – v.1 NOTE-19 maj de la table de cotation du document jil “application of attack potential to hardware devices with security boxes” NOTE-19 JILL “application of attack potential to hardware devices with security boxes” table quotation update – v1.0.1 NOTE-20 Règles relatives à la mise en œuvre des évaluations sécuritaires – v1.0 NOTE-21 Méthodologie pour évaluation gamme de produits – v1.0 NOTE-22 Cotation de l’utilisation d’open samples / Samples with known secrets – v1.0 NOTE-23 Décision sur la sécurité algorithmique résiduelle (« Remaining Strength ») – v1.0 NOTE-24 Évaluations de générateurs d’aléa selon AIS20/31 dans le schéma français – v1.0 NOTE-25 : Réduction de portée d’un certificat CC – v1.0 NOTE-25 : Scope reduction of a CC certificate – v1.0 NOTE-26 : Méthodologie analyse de code – v1.0 FR NOTE-26 : Méthodologie analyse de code – v1.0 EN