Bibliographie

AFRT02

J. Alves-Foss, B. Rinker, and C. Taylor.
Towards Common Criteria Certification for DO-178B Compliant Airborne Software Systems.
Center for secure and dependable systems, University of Idaho, 2002.

Bou97

G. Bouget.
Les critères communs pour l'évaluation de la sécurité des systèmes d'information.
Lettre numéro 23, Institut européen de cindynique, février 1997.

cdlsdsd01a

Direction centrale de la sécurité des systèmes d'information.
Rapport de certification 2001/05 - Carte mixe MONEO/CB, avril 2001.
http://www.moneo.net/atouts_techniques/2001_05.pdf.

cdlsdsd01b

Direction centrale de la sécurité des systèmes d'information.
Carte mixe MONEO/CB, rapport de certification 2001/10, avril 2001.
http://www.moneo.net/atouts_techniques/2001_10.pdf.

CL02

B.Chetali et O. Ly C. Loiseaux, E. Giménez.
An Interpretation of the Common Criteria EAL7 level.
In ICCC 3, avril 2002.

Com99a

Common Criteria.
Common Criteria for Information Technology Security Evaluation, Norme ISO 15408 - Part 1 : Introduction and general model - version 2.1, Aout 1999.
CCIMB-99-031.

Com99b

Common Criteria.
Common Criteria for Information Technology Security Evaluation, Norme ISO 15408 - Part 2 : Security fonctional requirements - version 2.1, Aout 1999.
CCIMB-99-032.

Com99c

Common Criteria.
Common Criteria for Information Technology Security Evaluation, Norme ISO 15408 - Part 3 : Security assurance requirements - version 2.1, Aout 1999.
CCIMB-99-033.

Cria

Common Criteria.
Page des profiles de protection des cc.
http://www.commoncriteria.org/index_protection_profile.htm.

Crib

Common Criteria.
Site officiel du projet des CC.
http://www.commoncriteria.org/.

DCS

DCSSI.
Site du service gouvernemental francais chargé de la sécurité des systèmes d'information.
http://www.ssi.gouv.fr/fr/.

dlsdt00

Centre de la sécurité des télécommunications.
Rapport de certification 1999-LGS-01 version 2.0 - Evaluation EAL1 du produit SecureDoc Disk Encryption, avril 2000.

dlsdt02

Centre de la sécurité des télécommunications.
Biometric Evaluation Methodology Supplement - version 1.0, avril 2002.

Elu01

M. Eluard.
Analyse de sécurité pour la certification d'applications JavaCard.
PhD thesis, Lande - Irisa - Rennes 1, décembre 2001.

Gra

David Grawrock.
Tcpa tpmpp version 0.45.
http://www.commoncriteria.org/ccc/protection_profiles/ppdetail.jsp?id=PP-002.

Mer00

A. Merle.
Evaluation des produits suivant les critères communs, 2000.

Méta

D. Le Métayer.
TL-CAT White paper.
Trusted Logic.

Métb

D. Le Métayer.
TL-FIT White paper.
Trusted Logic.

Syn02

Syntegra.
Brochure introductive aux critères communs du gouvernement canadien.
http://www.cse-cst.gc.ca/fr/documents/services/ccs/brochure.pdf, 2002.

Tro99

G. Troy.
Introduction to the Common Criteria for IT Security (ISO 15408).
US NIST, mars 1999.

TSCL⁺02

TrustedLogic, SchlumbergerSema, CEA-LIST, CEA-LETI, and LSR-IMAG.
Description du projet EDEN, février 2002.