This page was not yet optimized for use on mobile devices.

Comparing certificates Experimental feature

You are comparing two certificates. By default, only differing attributes are shown. Use the button below to show/hide all attributes.

Showing only differing attributes.

	Trusted Logic. Carte à puce JCLXxxjTOPyyIDv2 : applet de passeport électronique chargée sur la plate-forme JCLX80jTOP20IDv2 masquée sur le composant SLE66CLX800PE ANSSI-CC-2009/35	Plateforme Java Card en configuration ouverte de la carte à puce MultiApp v3.1 masquée sur le composant P60D080PVC(Version du patch : 1.4) ANSSI-CC-2014/86
name	Trusted Logic. Carte à puce JCLXxxjTOPyyIDv2 : applet de passeport électronique chargée sur la plate-forme JCLX80jTOP20IDv2 masquée sur le composant SLE66CLX800PE	Plateforme Java Card en configuration ouverte de la carte à puce MultiApp v3.1 masquée sur le composant P60D080PVC(Version du patch : 1.4)
category	ICs, Smart Cards and Smart Card-Related Devices and Systems	ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme	FR	FR
status	archived	archived
not_valid_after	01.09.2019	22.12.2019
not_valid_before	29.01.2010	22.12.2014
cert_link	None	None
report_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/anssi-cc_2009-35fr.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2014_86.pdf
st_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/anssi-cc-cible_2009-35en.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI_cible2014_86_LITE.pdf
manufacturer	Trusted Logic / Infineon	Gemalto / NXP Semiconductors
manufacturer_web	https://www.trusted-logic.com/	https://www.gemalto.com/
security_level	AVA_VAN.5, ALC_DVS.2, EAL4+	AVA_VAN.5, ALC_DVS.2, EAL5+
dgst	4e9ff22a844c6003	c85d31ec52d309ee
heuristics/cert_id	ANSSI-CC-2009/35	ANSSI-CC-2014/86
heuristics/cert_lab	SERMA	SERMA
heuristics/cpe_matches	{}	{}
heuristics/verified_cpe_matches	{}	{}
heuristics/related_cves	{}	{}
heuristics/direct_transitive_cves	{}	{}
heuristics/indirect_transitive_cves	{}	{}
heuristics/extracted_sars	ADV_SPM.1, ALC_DVS.2, AVA_VAN.5, AVA_VLA.4	ALC_CMS.5, ATE_FUN.1, ADV_IMP.1, ASE_TSS.2, ATE_DPT.3, ALC_FLR.1, AGD_PRE.1, ALC_DVS.2, AVA_VAN.5, ATE_COV.2, ALC_TAT.2, ADV_INT.2, ALC_CMC.4, ADV_FSP.5, ADV_ARC.1, ALC_DEL.1, AGD_OPE.1, ALC_LCD.1, ADV_TDS.4, ATE_IND.2
heuristics/extracted_versions	-	3.1, 1.4
heuristics/prev_certificates	{}	{}
heuristics/next_certificates	{}	{}
heuristics/report_references/directly_referenced_by	{}	ANSSI-CC-2015/08, ANSSI-CC-2015/04, ANSSI-CC-2015/03, ANSSI-CC-2015/15, ANSSI-CC-2015/01, ANSSI-CC-2015/02, ANSSI-CC-2015/30
heuristics/report_references/directly_referencing	ANSSI-CC-2009/34	ANSSI-CC-2014/06, BSI-DSZ-CC-0837-2013
heuristics/report_references/indirectly_referenced_by	{}	ANSSI-CC-2015/08, ANSSI-CC-2016/03, ANSSI-CC-2015/04, ANSSI-CC-2015/41, ANSSI-CC-2015/37, ANSSI-CC-2015/39, ANSSI-CC-2015/03, ANSSI-CC-2015/15, ANSSI-CC-2016/04, ANSSI-CC-2015/01, ANSSI-CC-2015/02, ANSSI-CC-2015/30, ANSSI-CC-2015/38, ANSSI-CC-2015/40
heuristics/report_references/indirectly_referencing	ANSSI-CC-2009/34	BSI-DSZ-CC-0837-2013, BSI-DSZ-CC-0829-2012, ANSSI-CC-2014/06, BSI-DSZ-CC-0728-2011, BSI-DSZ-CC-0640-2010
heuristics/scheme_data	cert_id: ANSSI-CC-2009/35 description: Le produit certifié est la carte à puce JCLXxxjTOPyyIDv2, version 3.0, développée par Trusted Logic et Infineon Technologies AG. Il est constitué d'une applet de passeport électronique chargée en ROM sur une plate-forme Java-Card, elle-même masquée sur un microcontrôleur sécurisé. developer: Trusted Logic, Infineon Technologies AG enhanced: augmented: ALC_DVS.2, AVA_VAN.5 category: Cartes à puce cc_version: Critères Communs version 3.1 cert_id: ANSSI-CC-2009/35 certification_date: 29.01.2010 developer: Trusted Logic, Infineon Technologies AG evaluation_facility: Serma Technologies level: EAL4+ mutual_recognition: SOG-IS CCRA protection_profile: BSI-PP-0026 report_link: https://cyber.gouv.fr/sites/default/files/IMG/certificat/anssi-cc_2009-35fr.pdf sponsor: Trusted Logic target_link: https://cyber.gouv.fr/sites/default/files/IMG/certificat/anssi-cc-cible_2009-35en.pdf level: EAL4+ product: Carte à puce JCLXxxjTOPyyIDv2 : applet de passeport électronique chargée sur la plate-forme JCLX80jTOP20IDv2 masquée sur le composant SLE66CLX800PE sponsor: Trusted Logic url: https://cyber.gouv.fr/produits-certifies/carte-puce-jclxxxjtopyyidv2-applet-de-passeport-electronique-chargee-sur-la	cert_id: ANSSI-CC-2014/86 description: La certification porte sur la plateforme ouverte Java Card du produit « MultiApp v3.1 » qui est une carte à puce pouvant être en mode contact ou sans contact. Le produit est développé par la société GEMALTO et embarqué sur le microcontrôleur P60D080PVC fabriqué par la société NXP SEMICONDUCTORS. La plateforme ouverte Java Card est destinée à fournir des services de sécurité aux applets qui sero developer: Gemalto / NXP Semiconductors enhanced: augmented: ALC_DVS.2, AVA_VAN.5 category: Cartes à puce cc_version: Critères Communs version 3.1r4 cert_id: ANSSI-CC-2014/86 certification_date: 22.12.2005 developer: Gemalto / NXP Semiconductors evaluation_facility: Serma Technologies level: EAL5+ mutual_recognition: SOG-IS CCRA protection_profile: PP JCS report_link: https://cyber.gouv.fr/sites/default/files/IMG/certificat/dcssi_2014-86fr.pdf sponsor: Gemalto target_link: https://cyber.gouv.fr/sites/default/files/IMG/certificat/DCSSI-cible_2014-86en.pdf level: EAL5+ product: Plateforme Java Card en configuration ouverte de la carte à puce MultiApp v3.1 masquée sur le composant P60D080PVC sponsor: Gemalto url: https://cyber.gouv.fr/produits-certifies/plateforme-java-card-en-configuration-ouverte-de-la-carte-puce-multiapp-v31
heuristics/st_references/directly_referenced_by	{}	{}
heuristics/st_references/directly_referencing	{}	{}
heuristics/st_references/indirectly_referenced_by	{}	{}
heuristics/st_references/indirectly_referencing	{}	{}
maintenance_updates
protection_profiles	pp_eal: None pp_ids: {} pp_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp0056b.pdf pp_name: Machine Readable Travel Document with [ICAO Application] Extended Access Control, Version 1...	pp_eal: EAL4+ pp_ids: ANSSI-CC-PP-2001-03-M01, JCSPPC, ANSSI-CC-PP-2010-03 pp_link: https://www.commoncriteriaportal.org/files/ppfiles/ANSSI-CC-profil_PP-2010-03en.pdf pp_name: Java Card™ System Protection Profile Open Configuration, Version 3.0
pdf_data/cert_filename	None	None
pdf_data/cert_frontpage
pdf_data/cert_keywords/cc_cert_id
pdf_data/cert_keywords/cc_protection_profile_id
pdf_data/cert_keywords/cc_security_level
pdf_data/cert_keywords/cc_sar
pdf_data/cert_keywords/cc_sfr
pdf_data/cert_keywords/cc_claims
pdf_data/cert_keywords/vendor
pdf_data/cert_keywords/eval_facility
pdf_data/cert_keywords/symmetric_crypto
pdf_data/cert_keywords/asymmetric_crypto
pdf_data/cert_keywords/pq_crypto
pdf_data/cert_keywords/hash_function
pdf_data/cert_keywords/crypto_scheme
pdf_data/cert_keywords/crypto_protocol
pdf_data/cert_keywords/randomness
pdf_data/cert_keywords/cipher_mode
pdf_data/cert_keywords/ecc_curve
pdf_data/cert_keywords/crypto_engine
pdf_data/cert_keywords/tls_cipher_suite
pdf_data/cert_keywords/crypto_library
pdf_data/cert_keywords/vulnerability
pdf_data/cert_keywords/side_channel_analysis
pdf_data/cert_keywords/technical_report_id
pdf_data/cert_keywords/device_model
pdf_data/cert_keywords/tee_name
pdf_data/cert_keywords/os_name
pdf_data/cert_keywords/cplc_data
pdf_data/cert_keywords/ic_data_group
pdf_data/cert_keywords/standard_id
pdf_data/cert_keywords/javacard_version
pdf_data/cert_keywords/javacard_api_const
pdf_data/cert_keywords/javacard_packages
pdf_data/cert_keywords/certification_process
pdf_data/cert_metadata
pdf_data/report_filename	anssi-cc_2009-35fr.pdf	ANSSI-CC-2014_86.pdf
pdf_data/report_frontpage	FR: cc_security_level: EAL 4 augmenté ALC_DVS.2, AVA_VAN.5 cc_version: Critères Communs version 3.1 cert_id: ANSSI-CC-2009/35 cert_item: Carte à puce JCLXxxjTOPyyIDv2 : applet de passeport électronique chargée sur la plate-forme JCLX80jTOP20IDv2 masquée sur le composant SLE66CLX800PE cert_item_version: Version 3.0 cert_lab: Serma Technologies 30 avenue Gustave Eiffel, 33608 Pessac, France Tél : +33 (0)5 57 26 08 75, mél : [email protected] developer: Trusted Logic 5 rue du Bailliage, 78000 Versailles, France Infineon Technologies AG AIM CC SM PS – Am Campeon 1-12 – 85579 Neubiberg, Allemagne Commanditaire Trusted Logic 5 rue du Bailliage, 78000 Versailles, France match_rules: ['Référence du rapport de certification(.+)Nom du produit(.+)Référence/version du produit(.+)Conformité à un profil de protection(.+)Critères d’évaluation et version(.+)Niveau d’évaluation(.+)Développeur\\(s\\)(.+)Centre d’évaluation(.+)Accords de reconnaissance applicables'] ref_protection_profiles: PP EAC] Machine Readable Travel Document with ,,ICAO application”, Extended Access Control v1.2, 19 November 2007	FR: cc_security_level: EAL 5 augmenté ALC_DVS.2, AVA_VAN.5 cc_version: Critères Communs version 3.1 révision 4 cert_id: ANSSI-CC-2014/86 cert_item: Plateforme Java Card en configuration ouverte de la carte à puce MultiApp v3.1 masquée sur le composant P60D080PVC cert_item_version: Version de la plateforme Java Card MultiApp : 3.1 Version du patch : 1.4 cert_lab: Serma Technologies 14 rue Galilée, CS 10055, 33615 Pessac Cedex, France developer: Gemalto 6 rue de la Verrerie, 92197 Meudon cedex, France NXP Semiconductors Box 54 02 40, D-22502 Hambourg, Allemagne Commanditaire Gemalto 6 rue de la Verrerie, 92197 Meudon cedex, France match_rules: ['Référence du rapport de certification(.+)Nom du produit(.+)Référence/version du produit(.)Conformité à un profil de protection(.+)Critères d’évaluation et version(.+)Niveau d’évaluation(.+)Développeurs(.+)Centre d’évaluation(.+)Accords de reconnaissance applicables'] ref_protection_profiles: ANSSI-CC-*PP-2010/03-M01 [PP JCS] Java Card System – Open Configuration, version 3.0
pdf_data/report_keywords/cc_cert_id	FR: ANSSI-CC-2009/34: 4 ANSSI-CC-2009/35: 20	DE: BSI-DSZ-CC-0837-2013: 3 FR: ANSSI-CC-2014/06: 1 ANSSI-CC-2014/86: 22 ANSSI-CC-PP-2010/03-M01: 2
pdf_data/report_keywords/cc_protection_profile_id	BSI: BSI-PP-0026-2006-MA-01: 1	ANSSI: ANSSI-CC-PP-2010/03-M01: 2 BSI: BSI-PP-0035-: 1 BSI-PP-0035-2007: 2
pdf_data/report_keywords/cc_security_level	EAL: EAL 1: 1 EAL 3: 1 EAL 4: 2 EAL 5: 1 EAL 7: 1 EAL4: 2 EAL5: 1 EAL7: 1 ITSEC: ITSEC E6 et: 1	EAL: EAL 1: 1 EAL 3: 1 EAL 5: 3 EAL 7: 1 EAL4: 2 EAL6: 1 EAL7: 1 ITSEC: ITSEC E6 Elevé: 1
pdf_data/report_keywords/cc_sar	ADV: ADV_ARC: 1 ADV_FSP: 1 ADV_IMP: 1 ADV_TDS: 1 AGD: AGD_OPE: 1 AGD_PRE: 1 ALC: ALC_CMC: 1 ALC_CMS: 1 ALC_DEL: 1 ALC_DVS: 1 ALC_DVS.2: 2 ALC_FLR: 2 ALC_TAT: 1 ASE: ASE_CCL: 1 ASE_ECD: 1 ASE_INT: 1 ASE_OBJ: 1 ASE_REQ: 1 ASE_SPD: 1 ASE_TSS: 1 ATE: ATE_COV: 1 ATE_DPT: 1 ATE_FUN: 1 ATE_IND: 1 AVA: AVA_VAN: 2 AVA_VAN.5: 1 AVA_VLA.4: 1	ADV: ADV_ARC: 1 ADV_FSP: 1 ADV_IMP: 1 ADV_INT: 1 ADV_SPM: 1 ADV_TDS: 1 AGD: AGD_OPE: 3 AGD_PRE: 3 ALC: ALC_CMC: 1 ALC_CMS: 1 ALC_DEL: 1 ALC_DVS: 1 ALC_DVS.2: 2 ALC_FLR: 2 ALC_FLR.1: 1 ALC_TAT: 1 ASE: ASE_CCL: 1 ASE_ECD: 1 ASE_INT: 1 ASE_OBJ: 1 ASE_REQ: 1 ASE_SPD: 1 ASE_TSS: 1 ASE_TSS.2: 1 ATE: ATE_COV: 1 ATE_DPT: 1 ATE_FUN: 1 ATE_IND: 1 AVA: AVA_VAN: 2 AVA_VAN.5: 3
pdf_data/report_keywords/cc_sfr
pdf_data/report_keywords/cc_claims
pdf_data/report_keywords/vendor	Infineon: Infineon Technologies: 2 Infineon Technologies AG: 3	Gemalto: Gemalto: 27 NXP: NXP: 3 NXP Semiconductors: 2
pdf_data/report_keywords/eval_facility	Serma: Serma Technologies: 2	Serma: Serma Technologies: 2
pdf_data/report_keywords/symmetric_crypto	DES: DES: DES: 3	DES: DES: DES: 1
pdf_data/report_keywords/asymmetric_crypto	ECC: ECC: ECC: 1
pdf_data/report_keywords/pq_crypto
pdf_data/report_keywords/hash_function
pdf_data/report_keywords/crypto_scheme
pdf_data/report_keywords/crypto_protocol
pdf_data/report_keywords/randomness
pdf_data/report_keywords/cipher_mode
pdf_data/report_keywords/ecc_curve
pdf_data/report_keywords/crypto_engine
pdf_data/report_keywords/tls_cipher_suite
pdf_data/report_keywords/crypto_library
pdf_data/report_keywords/vulnerability
pdf_data/report_keywords/side_channel_analysis
pdf_data/report_keywords/technical_report_id
pdf_data/report_keywords/device_model
pdf_data/report_keywords/tee_name
pdf_data/report_keywords/os_name
pdf_data/report_keywords/cplc_data
pdf_data/report_keywords/ic_data_group
pdf_data/report_keywords/standard_id	ICAO: ICAO: 13	CC: CCMB-2012-09-001: 1 CCMB-2012-09-002: 1 CCMB-2012-09-003: 1 CCMB-2012-09-004: 1
pdf_data/report_keywords/javacard_version	GlobalPlatform: GlobalPlatform 2.1.1: 1
pdf_data/report_keywords/javacard_api_const
pdf_data/report_keywords/javacard_packages		com: com.gemalto.javacardx.pace: 1 javacardx: javacardx.pace: 1
pdf_data/report_keywords/certification_process
pdf_data/report_metadata	/Author: Bouly /Comments: Trusted Logic/Infineon Technologies /Company: SGDN/ANSSI /CreationDate: D:20100204104104+01'00' /Creator: Acrobat PDFMaker 8.1 pour Word /Keywords: ANSSI-CC-2009/35 /ModDate: D:20100204104124+01'00' /Producer: Acrobat Distiller 8.1.0 (Windows) /SourceModified: D:20100204094036 /Subject: Carte puce JCLXxxjTOPyyIDv2 : applet de passeport lectronique charge sur la plate-forme JCLX80jTOP20IDv2 masque sur le composant SLE66CLX800PE /Title: ANSSI-CC-2009/35 pdf_file_size_bytes: 254985 pdf_hyperlinks: mailto:[email protected], http://www.ssi.gouv.fr/ pdf_is_encrypted: False pdf_number_of_pages: 19	/Author: Beatrice Duquesnoy /CreationDate: D:20150105175233+01'00' /Creator: Microsoft® Word 2010 /Keywords: ANSSI-CC-CER-F-07.014 /ModDate: D:20150105175233+01'00' /Producer: Microsoft® Word 2010 /Subject: Plateforme Java Card en configuration ouverte de la carte à puce MultiApp v3.1 masquée sur le composant P60D080PVC /Title: ANSSI-CC-2014/86 pdf_file_size_bytes: 725914 pdf_hyperlinks: mailto:[email protected], http://www.ssi.gouv.fr/ pdf_is_encrypted: False pdf_number_of_pages: 21
pdf_data/st_filename	anssi-cc-cible_2009-35en.pdf	ANSSI_cible2014_86_LITE.pdf
pdf_data/st_frontpage
pdf_data/st_keywords/cc_cert_id		DE: BSI-DSZ-CC-0837-2013-MA-01: 2 NL: CC-1: 2 CC-2: 3 CC-3: 3
pdf_data/st_keywords/cc_protection_profile_id	BSI: BSI-PP-0002: 1 BSI-PP-0026: 1	BSI: BSI-CC-PP-0055: 1 BSI-CC-PP-0059-2009-MA-01: 1 BSI-CC-PP-0075-2012: 1 BSI-PP-0005: 1 BSI-PP-0006: 1 BSI-PP-0035: 1 other: PP-SSCD-KG: 2 PP-SSCD-KI: 2 PP-SSCD-T2: 2 PP-SSCD-T3: 2
pdf_data/st_keywords/cc_security_level	EAL: EAL4: 2 EAL4 augmented: 1	EAL: EAL 6+: 1 EAL5: 6 EAL5 augmented: 2 EAL5+: 1
pdf_data/st_keywords/cc_sar	ADV: ADV_SPM.1: 1 AGD: AGD_OPE: 2 AGD_PRE: 5 ALC: ALC_DVS.2: 1 AVA: AVA_VAN.5: 1 AVA_VLA: 1	ADV: ADV_ARC: 1 ADV_ARC.1: 10 ADV_FSP: 1 ADV_FSP.1: 1 ADV_FSP.2: 2 ADV_FSP.4: 2 ADV_FSP.5: 6 ADV_IMP: 1 ADV_IMP.1: 9 ADV_INT.2: 3 ADV_TDS: 1 ADV_TDS.1: 2 ADV_TDS.3: 4 ADV_TDS.4: 8 AGD: AGD_OPE.1: 9 AGD_PRE: 1 AGD_PRE.1: 7 ALC: ALC_CMC.4: 3 ALC_CMS.5: 2 ALC_DEL.1: 3 ALC_DVS.1: 2 ALC_DVS.2: 9 ALC_LCD.1: 5 ALC_TAT.1: 2 ALC_TAT.2: 5 ATE: ATE_COV.1: 2 ATE_COV.2: 4 ATE_DPT.1: 2 ATE_DPT.3: 3 ATE_FUN.1: 9 ATE_IND.2: 4 AVA: AVA_VAN.5: 9
pdf_data/st_keywords/cc_sfr	FAU: FAU_SAS: 1 FAU_SAS.1: 1 FCS: FCS_CKM: 17 FCS_CKM.2: 2 FCS_CKM.4: 2 FCS_COP: 30 FCS_MSA: 2 FCS_RND: 5 FDP: FDP_ACC: 3 FDP_ACC.1: 1 FDP_ACF: 3 FDP_ACF.1: 2 FDP_ACF.1.4: 1 FDP_IFC: 3 FDP_IFF: 3 FDP_UCT: 1 FDP_UIT: 1 FIA: FIA_AFL: 3 FIA_AFL.1: 1 FIA_API: 4 FIA_API.1: 1 FIA_UAU: 5 FIA_UAU.1: 3 FIA_UAU.5: 2 FIA_UID: 1 FIA_UID.1: 3 FMT: FMT_LIM: 1 FMT_LIM.1: 1 FMT_LIM.2: 1 FMT_MSA: 10 FMT_MSA.2: 2 FMT_MTD: 24 FMT_MTD.1: 2 FMT_MTD.3: 1 FMT_SMF: 3 FMT_SMR: 2 FMT_SMR.1: 1 FPT: FPT_PHP.3: 1 FPT_RVM.1: 1 FPT_SEP: 1 FPT_SEP.1: 1 FPT_TST.1: 2 FPT_TST.1.1: 1 FPT_TST.1.2: 1 FPT_TST.1.3: 1	FAU: FAU_ARP.1: 15 FAU_ARP.1.1: 1 FAU_SAA.1: 2 FCO: FCO_NRO: 7 FCO_NRO.2: 3 FCS: FCS_CKM.1: 21 FCS_CKM.1.1: 1 FCS_CKM.2: 8 FCS_CKM.2.1: 1 FCS_CKM.3: 7 FCS_CKM.3.1: 1 FCS_CKM.4: 15 FCS_CKM.4.1: 1 FCS_COP.1: 19 FCS_COP.1.1: 1 FCS_RND: 7 FCS_RND.1: 12 FCS_RND.1.1: 2 FCS_RNG.1: 1 FDP: FDP_ACC: 40 FDP_ACC.1: 13 FDP_ACC.2: 6 FDP_ACF: 33 FDP_ACF.1: 16 FDP_IFC: 24 FDP_IFC.1: 12 FDP_IFC.2: 2 FDP_IFF: 17 FDP_IFF.1: 12 FDP_ITC: 12 FDP_ITC.1: 4 FDP_ITC.2: 9 FDP_RIP: 85 FDP_RIP.1: 10 FDP_ROL: 14 FDP_ROL.1: 2 FDP_SDI.2: 9 FDP_SDI.2.1: 1 FDP_SDI.2.2: 1 FDP_UIT: 7 FDP_UIT.1: 2 FIA: FIA_ATD: 9 FIA_ATD.1: 2 FIA_SOS.2: 1 FIA_UAI.1: 1 FIA_UAU: 7 FIA_UAU.1: 1 FIA_UID: 14 FIA_UID.1: 10 FIA_UID.2: 1 FIA_USB: 8 FIA_USB.1: 3 FMT: FMT_MSA: 91 FMT_MSA.1: 11 FMT_MSA.2: 1 FMT_MSA.3: 15 FMT_MTD: 18 FMT_MTD.1: 3 FMT_MTD.3: 1 FMT_SMF: 33 FMT_SMF.1: 9 FMT_SMR: 47 FMT_SMR.1: 22 FPR: FPR_UNO: 7 FPR_UNO.1: 10 FPR_UNO.1.1: 1 FPT: FPT_FLS: 46 FPT_FLS.1: 5 FPT_ITT: 7 FPT_ITT.1: 1 FPT_PHP: 7 FPT_PHP.3: 2 FPT_RCV: 16 FPT_RCV.3: 4 FPT_RCV.4: 2 FPT_TDC.1: 9 FPT_TDC.1.1: 1 FPT_TDC.1.2: 1 FPT_TST: 7 FPT_TST.1: 3 FTP: FTP_ITC: 9 FTP_ITC.1: 5 FTP_TRP.1: 2
pdf_data/st_keywords/cc_claims	A: A.MANUFACTURING: 1 O: O.FIREWALL: 2 OE: OE.APPLETS: 1 OE.APPLETS-IDENTIFICATION: 2 OE.KEY-LENGTH: 3 OE.NATIVE: 2 OE.VERIFICATION: 2 OSP: OSP.KEY-LENGTH: 1 OSP.PERSONALIZATION: 1 OSP.PROCESS-TOE: 1 OSP.SECRETS: 1 OT: OT.FIREWALL: 3 OT.FIRWALL: 1 OT.IDENTIFICATION: 1	A: A.APPLET: 5 A.DELETION: 5 A.VERIFICATION: 4 D: D.API_DATA: 3 D.APP_CODE: 6 D.APP_C_DATA: 3 D.APP_I_DATA: 4 D.CRYPTO: 5 D.JCS_CODE: 3 D.JCS_DATA: 5 D.PIN: 4 D.SEC_DATA: 7 O: O.ALARM: 15 O.APPLET: 28 O.CARD-MANAGEMENT: 3 O.CARD_MANAGEMENT: 18 O.CIPHER: 10 O.CODE_PCKG: 16 O.CODE_PKG: 7 O.DELETION: 8 O.FIREWALL: 12 O.GLOBAL_ARRAYS_CO: 3 O.GLOBAL_ARRAYS_CONFID: 6 O.GLOBAL_ARRAYS_INT: 3 O.GLOBAL_ARRAYS_INTEG: 5 O.HW_AES: 2 O.INSTALL: 11 O.JAVAOBJECT: 56 O.KEY-: 1 O.KEY-MNGT: 5 O.KEY_MNGT: 4 O.LOAD: 6 O.NATIVE: 11 O.OBJ-DELETION: 4 O.OPERATE: 15 O.PIN-: 1 O.PIN-MNGT: 5 O.REALLOCATION: 5 O.RESOURCES: 9 O.RND: 13 O.SCP: 36 O.SID: 13 O.TRANSACTION: 6 OE: OE.APPLET: 4 OE.CARD-MANAGEMENT: 1 OE.CODE-EVIDENCE: 10 OE.CODE_EVIDENCE: 1 OE.SCP: 6 OE.VERIFICATION: 25 OP: OP.ARRAY_ACCESS: 6 OP.CREATE: 10 OP.DELETE_APPLET: 6 OP.DELETE_PCKG: 4 OP.DELETE_PCKG_APPLET: 4 OP.INSTANCE_FIELD: 6 OP.INVK_INTERFACE: 10 OP.INVK_VIRTUAL: 8 OP.JAVA: 8 OP.PUT: 7 OP.THROW: 7 OP.TYPE_ACCESS: 7 OSP: OSP: 1 OSP.RND: 3 OSP.RNG: 1 OSP.VERIFICATION: 4 R: R.JAVA: 9 T: T.CONFID-APPLI-DATA: 4 T.CONFID-JCS-CODE: 4 T.CONFID-JCS-DATA: 4 T.DELETION: 3 T.EXE-CODE: 8 T.INSTALL: 4 T.INTEG-APPLI-CODE: 7 T.INTEG-APPLI-DATA: 8 T.INTEG-JCS-CODE: 3 T.INTEG-JCS-DATA: 4 T.NATIVE: 4 T.OBJ-DELETION: 4 T.PHYSICAL: 4 T.RESOURCES: 3 T.SID: 8
pdf_data/st_keywords/vendor	Infineon: Infineon Technologies AG: 1	Gemalto: Gemalto: 117 NXP: NXP: 12
pdf_data/st_keywords/eval_facility		Serma: SERMA: 1
pdf_data/st_keywords/symmetric_crypto	DES: 3DES: Triple-DES: 1 DES: DES: 8	AES_competition: AES: AES: 18 DES: 3DES: TDEA: 1 TDES: 9 Triple-DES: 2 DES: DES: 20 constructions: MAC: CMAC: 1
pdf_data/st_keywords/asymmetric_crypto	ECC: ECC: ECC: 1 ECDH: ECDH: 1 ECDSA: ECDSA: 1 FF: DH: Diffie-Hellman: 3 RSA: RSA2048: 1	ECC: ECC: ECC: 8 ECDH: ECDH: 1 ECDSA: ECDSA: 3 FF: DH: DH: 5 Diffie-Hellman: 4
pdf_data/st_keywords/pq_crypto
pdf_data/st_keywords/hash_function	SHA: SHA1: SHA-1: 2 SHA2: SHA-224: 1 SHA-256: 1	SHA: SHA1: SHA-1: 4 SHA2: SHA-224: 3 SHA-256: 4 SHA-384: 4 SHA-512: 3 SHA224: 1
pdf_data/st_keywords/crypto_scheme	KA: Key Agreement: 1 MAC: MAC: 7	KA: Key agreement: 2 MAC: MAC: 10
pdf_data/st_keywords/crypto_protocol		PACE: PACE: 10
pdf_data/st_keywords/randomness		PRNG: PRNG: 1 RNG: RND: 19 RNG: 7
pdf_data/st_keywords/cipher_mode	CBC: CBC: 1 CCM: CCM: 1
pdf_data/st_keywords/ecc_curve
pdf_data/st_keywords/crypto_engine
pdf_data/st_keywords/tls_cipher_suite
pdf_data/st_keywords/crypto_library
pdf_data/st_keywords/vulnerability
pdf_data/st_keywords/side_channel_analysis	FI: DFA: 1 Malfunction: 1 SCA: DPA: 1 SPA: 1	FI: Malfunction: 3 fault induction: 2 malfunction: 2 physical tampering: 1 SCA: DPA: 1 Leak-Inherent: 3 physical probing: 2
pdf_data/st_keywords/technical_report_id
pdf_data/st_keywords/device_model
pdf_data/st_keywords/tee_name
pdf_data/st_keywords/os_name
pdf_data/st_keywords/cplc_data
pdf_data/st_keywords/ic_data_group	EF: EF.DG1: 1 EF.DG2: 1
pdf_data/st_keywords/standard_id	CC: CCMB-2006-09-001: 2 CCMB-2007-09-002: 3 CCMB-2007-09-003: 2 CCMB-2007-09-004: 1 FIPS: FIPS 180-2: 2 FIPS 46-3: 1 ICAO: ICAO: 134 ISO: ISO/IEC 15408:2005: 2 PKCS: PKCS#1: 1 PKCS#3: 1 SCP: SCP02: 7	BSI: AIS31: 1 CC: CCMB-2009-07-001: 1 CCMB-2009-07-002: 1 CCMB-2009-07-003: 1 CCMB-2009-07-004: 1 FIPS: FIPS180-2: 1 FIPS197: 4 ICAO: ICAO: 3 NIST: SP 800-38: 2 PKCS: PKCS#1: 8 PKCS#3: 1 PKCS#5: 5 SCP: SCP01: 3 SCP02: 3 SCP03: 3
pdf_data/st_keywords/javacard_version	GlobalPlatform: GlobalPlatform 2.1.1: 4 JavaCard: Java Card 2.2.1: 3	JavaCard: JC2.2.2: 1 Java Card 2.2.2: 7
pdf_data/st_keywords/javacard_api_const		misc: TYPE_ACCESS: 7
pdf_data/st_keywords/javacard_packages		javacard: javacard.framework: 2
pdf_data/st_keywords/certification_process		OutOfScope: a timeout policy that prevent them from being blocked should a card fails to answer. That point is out of scope of this Security Target, though. Finally, the objectives O.SCP.RECOVERY and O.SCP.SUPPORT are: 1 out of scope: 1
pdf_data/st_metadata	/CreationDate: D:20100217113730+01'00' /Keywords: /ModDate: D:20100217113730+01'00' /Producer: GPL Ghostscript 8.54 pdf_file_size_bytes: 900361 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 62	/Author: Antoine de Lavernette /CreationDate: D:20141107143457+01'00' /Creator: Microsoft® Office Word 2007 /Keywords: Security Target, CC /ModDate: D:20141107143457+01'00' /Producer: Microsoft® Office Word 2007 /Subject: Security Target /Title: eTravel v1.0 Security Target MAÏA3 pdf_file_size_bytes: 1611052 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 93
state/cert/convert_garbage	False	False
state/cert/convert_ok	False	False
state/cert/download_ok	False	False
state/cert/extract_ok	False	False
state/cert/pdf_hash	Equal	Equal
state/cert/txt_hash	Equal	Equal
state/report/convert_garbage	False	False
state/report/convert_ok	True	True
state/report/download_ok	True	True
state/report/extract_ok	True	True
state/report/pdf_hash	Different	Different
state/report/txt_hash	Different	Different
state/st/convert_garbage	False	False
state/st/convert_ok	True	True
state/st/download_ok	True	True
state/st/extract_ok	True	True
state/st/pdf_hash	Different	Different
state/st/txt_hash	Different	Different