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.

	Plateforme Java Card MAV31S en configuration ouverte de la carte à puce Optelio Contactless R7S masquée sur le composant P60D144JVA (version du patch: 1.4) ANSSI-CC-2015/30	Plateforme Java Card MultiApp Essential v1.0, en configuration ouverte, sur le composant Infineon M7793 A12 ou G12 ANSSI-CC-2015/73
name	Plateforme Java Card MAV31S en configuration ouverte de la carte à puce Optelio Contactless R7S masquée sur le composant P60D144JVA (version du patch: 1.4)	Plateforme Java Card MultiApp Essential v1.0, en configuration ouverte, sur le composant Infineon M7793 A12 ou G12
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	31.08.2020	05.01.2021
not_valid_before	31.08.2015	05.01.2016
cert_link	None	None
report_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2015-30en.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2015-73.pdf
st_link	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/anssi_cible_2015_30_LITE.pdf	https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/cible2015-73lite.pdf
manufacturer	Gemalto / NXP Semiconductors	Gemalto - Infineon Technologies AG
manufacturer_web	https://www.gemalto.com/	https://www.gemalto.com/
security_level	AVA_VAN.5, ALC_DVS.2, EAL4+	AVA_VAN.5, ALC_DVS.2, EAL5+
dgst	585fe7142c257928	37f694d2de25cb63
heuristics/cert_id	ANSSI-CC-2015/30	ANSSI-CC-2015/73
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	ATE_FUN.1, ADV_IMP.1, ASE_TSS.2, AVA_VLA.5, 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, ATE_DPT.1, AGD_OPE.1, ALC_LCD.1, ADV_TDS.4, ATE_IND.2	ALC_DVS.2, AVA_VAN.5
heuristics/extracted_versions	1.4	1.0
heuristics/prev_certificates	{}	{}
heuristics/next_certificates	{}	{}
heuristics/report_references/directly_referenced_by	ANSSI-CC-2015/38	ANSSI-CC-2016/06, ANSSI-CC-2016/23
heuristics/report_references/directly_referencing	ANSSI-CC-2014/86, BSI-DSZ-CC-0870-2014	BSI-DSZ-CC-0926-2014
heuristics/report_references/indirectly_referenced_by	ANSSI-CC-2015/38	ANSSI-CC-2016/24, ANSSI-CC-2016/06, ANSSI-CC-2016/23
heuristics/report_references/indirectly_referencing	ANSSI-CC-2014/86, BSI-DSZ-CC-0837-2013, BSI-DSZ-CC-0829-2012, ANSSI-CC-2014/06, BSI-DSZ-CC-0870-2014, BSI-DSZ-CC-0728-2011, BSI-DSZ-CC-0640-2010	BSI-DSZ-CC-0757-2011, BSI-DSZ-CC-0907-2013, BSI-DSZ-CC-0926-2014
heuristics/scheme_data	cert_id: ANSSI-CC-2015/30 description: La certificationporte sur la plateforme ouverte Java Card du produit « MultiApp v3.1S » 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 P60D144JVA fabriqué par la société NXP SEMICONDUCTORS. La plateforme ouverte Java Card est destinée à fournir des services de sécurité aux applets qui ser 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-2015/30 certification_date: 31.08.2015 developer: Gemalto / NXP Semiconductors evaluation_facility: Serma Technologies level: EAL4+ mutual_recognition: SOG-IS CCRA protection_profile: PP JCS report_link: https://cyber.gouv.fr/sites/default/files/2015/09/ANSSI-CC-2015-30en.pdf sponsor: Gemalto target_link: https://cyber.gouv.fr/sites/default/files/2015/09/anssi_cible_2015_30_LITE.pdf level: EAL4+ product: Plateforme Java Card MAV31S en configuration ouverte de la carte à puce Optelio Contactless R7S masquée sur le composant P60D144JVA sponsor: Gemalto url: https://cyber.gouv.fr/produits-certifies/plateforme-java-card-mav31s-en-configuration-ouverte-de-la-carte-puce-optelio	cert_id: ANSSI-CC-2015/73 description: Le produit certifié est la « Plateforme Java Card MultiApp Essential v1.0, en configuration ouverte, sur le composant Infineon M7793 A12 ou G12 » développé par GEMALTO et INFINEON. Le produit se présente sous la forme d’une carte à puce au format ISO 7816 et fonctionnant en mode contact (standard ISO 7816-3) ; la plateforme ouverte Java Card est destinée à fournir des services de sécurité aux a developer: Gemalto / Infineon enhanced: augmented: ALC_DVS.2, AVA_VAN.5 category: Cartes à puce cc_version: Critères Communs version 3.1r4 cert_id: ANSSI-CC-2015/73 certification_date: 05.01.2016 developer: Gemalto / Infineon evaluation_facility: Serma Technologies level: EAL5+ mutual_recognition: SOG-IS CCRA protection_profile: PP-JCS Open Configuration report_link: https://cyber.gouv.fr/sites/default/files/2016/01/ANSSI-CC-2015-73.pdf sponsor: Gemalto target_link: https://cyber.gouv.fr/sites/default/files/2016/01/cible2015-73lite.pdf level: EAL5+ product: Plateforme Java Card MultiApp Essential v1.0, en configuration ouverte, sur le composant Infineon M7793 A12 ou G12 sponsor: Gemalto url: https://cyber.gouv.fr/produits-certifies/plateforme-java-card-multiapp-essential-v10-en-configuration-ouverte-sur-le
heuristics/st_references/directly_referenced_by	{}	{}
heuristics/st_references/directly_referencing	{}	BSI-DSZ-CC-0926-2014
heuristics/st_references/indirectly_referenced_by	{}	{}
heuristics/st_references/indirectly_referencing	{}	BSI-DSZ-CC-0926-2014
maintenance_updates	maintenance_date: 14.10.2016 maintenance_report_link: https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2015_30-M01.pdf maintenance_st_link: None maintenance_title: ANSSI-CC-2015/30-M01
protection_profiles	pp_eal: EAL4+ pp_ids: PDCP_V1.3 pp_link: https://www.commoncriteriaportal.org/files/ppfiles/ANSSI-CC-cible_PP-2010-03en.pdf pp_name: Java Card™ System Protection Profile Open Configuration, Version 2.6	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-2015-30en.pdf	ANSSI-CC-2015-73.pdf
pdf_data/report_frontpage	FR: cc_security_level: EAL 4 augmented ALC_DVS.2, AVA_VAN.5 cc_version: Common Criteria version 3.1 revision 4 cert_id: ANSSI-CC-2015/30 cert_item: Plateforme Java Card MAV31S en configuration ouverte de la carte à puce Optelio Contactless R7S masquée sur le composant P60D144JVA cert_item_version: Version de la plateforme Java Card MultiApp : 3.1S 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 Sponsor Gemalto 6 rue de la Verrerie, 92197 Meudon cedex, France match_rules: ['Certification report reference(.+)Product name(.+)Product reference(.+)Protection profile conformity(.+)Evaluation criteria and version(.+)Evaluation level(.+)Developer\\(s\\)(.+)Evaluation facility(.+)Recognition arrangements'] ref_protection_profiles: ANSSI-CC-PP-2010/03-M01 [PP JCS] Java Card System – Open Configuration, version 3.0	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-2015/73 cert_item: Plateforme Java Card MultiApp Essential v1.0, en configuration ouverte, sur le composant Infineon M7793 A12 ou G12 cert_item_version: Version 1.0 cert_lab: Serma Technologies 14 rue Galilée, CS 10055, 33615 Pessac Cedex, France developer: Gemalto 6 rue de la Verrerie, 92190 Meudon Cedex, France Infineon Am Campeon 1-12, 85579 Neubiberg, Allemagne Commanditaire Gemalto 6 rue de la Verrerie, 92190 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: Java Card System Protection Profile* – Open Configuration [PP-JCS Open Configuration], version 3.0
pdf_data/report_keywords/cc_cert_id	DE: BSI-DSZ-CC-0870-2014: 3 FR: ANSSI-CC-2014/86: 2 ANSSI-CC-2015/30: 20 ANSSI-CC-PP-2010/03-M01: 2	DE: BSI-DSZ-CC-0926-2014: 1 FR: ANSSI-CC-2015/73: 21
pdf_data/report_keywords/cc_protection_profile_id	ANSSI: ANSSI-CC-PP-2010/03-M01: 2 BSI: BSI-PP- 0035-2007: 2 BSI-PP-0035-2007: 1
pdf_data/report_keywords/cc_security_level	EAL: EAL 1: 1 EAL 3: 1 EAL 4: 2 EAL 4 augmented: 2 EAL 5: 1 EAL 7: 1 EAL4: 2 EAL5: 1 EAL7: 1 ITSEC: ITSEC E6 High: 1	EAL: EAL 1: 1 EAL 3: 1 EAL 5: 3 EAL 7: 1 EAL2: 2 EAL5: 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_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: 3 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 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 AVA_VLA.5: 1	ADV: ADV_ARC: 1 ADV_FSP: 1 ADV_IMP: 1 ADV_INT: 1 ADV_SPM: 1 ADV_TDS: 1 AGD: AGD_OPE: 2 AGD_PRE: 2 ALC: ALC_CMC: 1 ALC_CMS: 1 ALC_DEL: 1 ALC_DVS: 1 ALC_DVS.2: 3 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: 5
pdf_data/report_keywords/cc_sfr
pdf_data/report_keywords/cc_claims
pdf_data/report_keywords/vendor	Gemalto: Gemalto: 18 NXP: NXP: 2 NXP Semiconductors: 1	Gemalto: Gemalto: 3 Infineon: Infineon: 25 Infineon Technologies: 1
pdf_data/report_keywords/eval_facility	Serma: Serma Technologies: 2	Serma: SERMA: 1 Serma Technologies: 1
pdf_data/report_keywords/symmetric_crypto		DES: DES: DES: 1
pdf_data/report_keywords/asymmetric_crypto
pdf_data/report_keywords/pq_crypto
pdf_data/report_keywords/hash_function
pdf_data/report_keywords/crypto_scheme
pdf_data/report_keywords/crypto_protocol		PACE: PACE: 1
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		Infineon: v1.02.013: 3
pdf_data/report_keywords/vulnerability
pdf_data/report_keywords/side_channel_analysis		other: JIL: 1
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
pdf_data/report_keywords/javacard_version
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: romme /CreationDate: D:20151109154046+01'00' /Creator: Microsoft® Word 2010 /Keywords: ANSSI-CC-CER-F-07EN.008 /ModDate: D:20151109154046+01'00' /Producer: Microsoft® Word 2010 /Subject: Plateforme Java Card MultiApp ID V3.1S en configuration ouverte de la carte à puce Optelio Contactless R7S masquée sur le composant P60D144JVA /Title: ANSSI-CC-2015/30 pdf_file_size_bytes: 529824 pdf_hyperlinks: mailto:[email protected], http://www.ssi.gouv.fr/ pdf_is_encrypted: False pdf_number_of_pages: 19	/Author: Jonathan Gimenez /CreationDate: D:20160106150825+01'00' /Creator: Microsoft® Word 2010 /Keywords: ANSSI-CC-CER-F-07.017 /ModDate: D:20160106150825+01'00' /Producer: Microsoft® Word 2010 /Subject: Plateforme Java Card MultiApp Essential v1.0, en configuration ouverte, sur le composant Infineon M7793 A12 ou G12 /Title: ANSSI-CC-2015/73 pdf_file_size_bytes: 794770 pdf_hyperlinks: mailto:[email protected], http://www.ssi.gouv.fr/ pdf_is_encrypted: False pdf_number_of_pages: 20
pdf_data/st_filename	anssi_cible_2015_30_LITE.pdf	cible2015-73lite.pdf
pdf_data/st_frontpage
pdf_data/st_keywords/cc_cert_id	DE: BSI-DSZ-CC-0870-: 2 NL: CC-1: 2 CC-2: 3 CC-3: 3	DE: BSI-DSZ-CC-0926-2014: 1 FR: ANSSI-CC-PP-2010/03-M01: 1 NL: CC-1: 2 CC-2: 3 CC-3: 3
pdf_data/st_keywords/cc_protection_profile_id	BSI: BSI-CC-PP-0059-2009-MA-01: 1 BSI-CC-PP-0075-2012: 1 BSI-PP-0035: 1 other: PP-SSCD-KG: 2 PP-SSCD-KI: 2	ANSSI: ANSSI-CC-PP-2010/03-M01: 1 BSI: BSI-CC-PP-0059-2009-MA-01: 1 BSI-CC-PP-0071: 1 BSI-CC-PP-0072: 1 BSI-CC-PP-0075: 1 BSI-CC-PP-0076: 1 BSI-PP-0035: 1 other: PP-SSCD-P2: 1 PP-SSCD-P3: 1 PP-SSCD-P4: 1 PP-SSCD-P5: 1 PP-SSCD-P6: 1 PP-SSCD-T2: 1 PP-SSCD-T3: 1 PP-SSCD-T4: 1 PP-SSCD-T5: 1 PP-SSCD-T6: 1
pdf_data/st_keywords/cc_security_level	EAL: EAL 5+: 1 EAL4: 5 EAL4 augmented: 2 EAL4+: 1	EAL: EAL 5+: 1 EAL5: 2 EAL5 augmented: 2 EAL5+: 1
pdf_data/st_keywords/cc_sar	ADV: ADV_ARC: 1 ADV_ARC.1: 8 ADV_FSP: 1 ADV_FSP.1: 1 ADV_FSP.2: 2 ADV_FSP.4: 5 ADV_FSP.5: 1 ADV_IMP: 1 ADV_IMP.1: 7 ADV_INT.2: 1 ADV_TDS: 1 ADV_TDS.1: 2 ADV_TDS.3: 6 ADV_TDS.4: 4 AGD: AGD_OPE.1: 7 AGD_PRE.1: 6 ALC: ALC_CMC.4: 1 ALC_DEL.1: 1 ALC_DVS.1: 2 ALC_DVS.2: 7 ALC_LCD.1: 3 ALC_TAT.1: 3 ALC_TAT.2: 2 ATE: ATE_COV.1: 2 ATE_COV.2: 2 ATE_DPT.1: 3 ATE_FUN.1: 6 ATE_IND.2: 1 AVA: AVA_VAN.5: 7	ADV: ADV_ARC: 1 ADV_FSP: 1 ADV_IMP: 1 ADV_TDS: 1 ALC: ALC_DVS.2: 2 AVA: AVA_VAN.5: 2
pdf_data/st_keywords/cc_sfr	FAU: FAU_ARP.1: 14 FAU_ARP.1.1: 1 FAU_SAA.1: 2 FCO: FCO_NRO: 6 FCO_NRO.2: 3 FCS: FCS_CKM.1: 20 FCS_CKM.1.1: 1 FCS_CKM.2: 7 FCS_CKM.2.1: 1 FCS_CKM.3: 6 FCS_CKM.3.1: 1 FCS_CKM.4: 14 FCS_CKM.4.1: 1 FCS_COP.1: 18 FCS_COP.1.1: 1 FCS_RND: 7 FCS_RND.1: 11 FCS_RND.1.1: 2 FCS_RNG.1: 1 FDP: FDP_ACC: 37 FDP_ACC.1: 13 FDP_ACC.2: 6 FDP_ACF: 30 FDP_ACF.1: 16 FDP_IFC: 22 FDP_IFC.1: 12 FDP_IFC.2: 2 FDP_IFF: 15 FDP_IFF.1: 12 FDP_ITC: 11 FDP_ITC.1: 4 FDP_ITC.2: 9 FDP_RIP: 77 FDP_RIP.1: 10 FDP_ROL: 13 FDP_ROL.1: 2 FDP_SDI.2: 8 FDP_SDI.2.1: 1 FDP_SDI.2.2: 1 FDP_UIT: 6 FDP_UIT.1: 2 FIA: FIA_ATD: 8 FIA_ATD.1: 2 FIA_SOS.2: 1 FIA_UAI.1: 1 FIA_UAU: 6 FIA_UAU.1: 1 FIA_UID: 12 FIA_UID.1: 10 FIA_UID.2: 1 FIA_USB: 7 FIA_USB.1: 3 FMT: FMT_MSA: 80 FMT_MSA.1: 11 FMT_MSA.2: 1 FMT_MSA.3: 15 FMT_MTD: 16 FMT_MTD.1: 3 FMT_MTD.3: 1 FMT_SMF: 30 FMT_SMF.1: 9 FMT_SMR: 43 FMT_SMR.1: 22 FPR: FPR_UNO: 6 FPR_UNO.1: 9 FPR_UNO.1.1: 1 FPT: FPT_FLS: 41 FPT_FLS.1: 5 FPT_ITT: 6 FPT_ITT.1: 1 FPT_PHP: 6 FPT_PHP.3: 2 FPT_RCV: 14 FPT_RCV.3: 4 FPT_RCV.4: 2 FPT_TDC.1: 8 FPT_TDC.1.1: 1 FPT_TDC.1.2: 1 FPT_TST: 6 FPT_TST.1: 3 FTP: FTP_ITC: 8 FTP_ITC.1: 5 FTP_TRP.1: 2	FAU: FAU_ARP.1: 5 FAU_ARP.1.1: 1 FCO: FCO_NRO: 2 FCO_NRO.2: 3 FCS: FCS_CKM.1: 6 FCS_CKM.1.1: 1 FCS_CKM.2: 2 FCS_CKM.2.1: 1 FCS_CKM.3: 2 FCS_CKM.3.1: 1 FCS_CKM.4: 2 FCS_CKM.4.1: 1 FCS_COP.1: 10 FCS_COP.1.1: 1 FCS_RND: 7 FCS_RND.1: 7 FCS_RND.1.1: 2 FDP: FDP_ACC: 14 FDP_ACC.1: 1 FDP_ACC.2: 6 FDP_ACF: 16 FDP_ACF.1: 13 FDP_IFC: 4 FDP_IFC.1: 1 FDP_IFC.2: 2 FDP_IFF: 4 FDP_IFF.1: 10 FDP_ITC: 4 FDP_ITC.2: 5 FDP_RIP: 17 FDP_RIP.1: 8 FDP_ROL: 6 FDP_ROL.1: 2 FDP_SDI.2: 2 FDP_SDI.2.1: 1 FDP_SDI.2.2: 1 FDP_UIT: 2 FDP_UIT.1: 2 FIA: FIA_ATD: 3 FIA_ATD.1: 1 FIA_SOS.2: 1 FIA_UAI.1: 1 FIA_UAU: 2 FIA_UAU.1: 1 FIA_UID: 4 FIA_UID.1: 2 FIA_UID.2: 1 FIA_USB: 2 FIA_USB.1: 3 FMT: FMT_MSA: 21 FMT_MSA.1: 5 FMT_MSA.2: 1 FMT_MSA.3: 10 FMT_MTD: 3 FMT_MTD.1: 2 FMT_MTD.3: 1 FMT_SMF: 6 FMT_SMF.1: 3 FMT_SMR: 9 FMT_SMR.1: 8 FPR: FPR_UNO: 2 FPR_UNO.1: 3 FPR_UNO.1.1: 1 FPT: FPT_FLS: 10 FPT_FLS.1: 5 FPT_ITT: 2 FPT_ITT.1: 1 FPT_PHP: 2 FPT_PHP.3: 1 FPT_RCV: 4 FPT_RCV.3: 4 FPT_RCV.4: 1 FPT_TDC.1: 2 FPT_TDC.1.1: 1 FPT_TDC.1.2: 1 FPT_TST: 2 FPT_TST.1: 3 FTP: FTP_ITC: 2 FTP_ITC.1: 3
pdf_data/st_keywords/cc_claims	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: 2 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: 12 O.SCP: 30 O.SID: 13 O.TRANSACTION: 6 OE: OE.APPLET: 4 OE.CODE-EVIDENCE: 10 OE.CODE_EVIDENCE: 1 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	A: A.APPLET: 4 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: 11 O.APPLET: 28 O.CARD-MANAGEMENT: 2 O.CARD_MANAGEMENT: 14 O.CIPHER: 5 O.CODE_PCKG: 16 O.CODE_PKG: 7 O.DELETION: 4 O.FIREWALL: 11 O.GLOBAL_ARRAYS_CONFID: 5 O.GLOBAL_ARRAYS_INTEG: 4 O.INSTALL: 7 O.JAVAOBJECT: 56 O.KEY-MNGT: 5 O.KEY_MNGT: 1 O.LOAD: 5 O.NATIVE: 7 O.OBJ-DELETION: 3 O.OPERATE: 14 O.PIN-: 1 O.PIN-MNGT: 4 O.REALLOCATION: 4 O.RESOURCES: 5 O.RND: 7 O.SCP: 21 O.SID: 9 O.TRANSACTION: 5 OE: OE.APPLET: 3 OE.APPS-VALIDATION: 1 OE.CODE-EVIDENCE: 10 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.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	Gemalto: Gemalto: 105 NXP: NXP: 10	Gemalto: Gemalto: 502 Infineon: Infineon: 5
pdf_data/st_keywords/eval_facility	Serma: SERMA: 1	Serma: Serma Technologies: 1
pdf_data/st_keywords/symmetric_crypto	AES_competition: AES: AES: 18 DES: 3DES: TDEA: 1 TDES: 9 Triple-DES: 2 DES: DES: 20 constructions: MAC: CMAC: 1	AES_competition: AES: AES: 14 DES: 3DES: 3DES: 1 TDEA: 1 TDES: 7 DES: DES: 14
pdf_data/st_keywords/asymmetric_crypto	ECC: ECC: ECC: 8 ECDH: ECDH: 1 ECDSA: ECDSA: 3 FF: DH: DH: 5 Diffie-Hellman: 4	ECC: ECC: ECC: 1 FF: DH: DH: 1 Diffie-Hellman: 2
pdf_data/st_keywords/pq_crypto
pdf_data/st_keywords/hash_function	SHA: SHA1: SHA-1: 4 SHA2: SHA-224: 3 SHA-256: 4 SHA-384: 4 SHA-512: 3 SHA224: 1	SHA: SHA1: SHA-1: 3 SHA1: 1 SHA2: SHA-224: 3 SHA-256: 3 SHA224: 2 SHA256: 1
pdf_data/st_keywords/crypto_scheme	KA: Key agreement: 2 MAC: MAC: 10	MAC: MAC: 7
pdf_data/st_keywords/crypto_protocol	PACE: PACE: 4	PACE: PACE: 7
pdf_data/st_keywords/randomness	PRNG: PRNG: 1 RNG: RND: 15 RNG: 7	RNG: RND: 10 RNG: 5
pdf_data/st_keywords/cipher_mode		CBC: CBC: 1 ECB: ECB: 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: Malfunction: 3 fault induction: 2 malfunction: 2 physical tampering: 1 SCA: DPA: 1 Leak-Inherent: 3 physical probing: 2	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
pdf_data/st_keywords/standard_id	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 NIST: SP 800-38: 2 PKCS: PKCS#1: 8 PKCS#3: 1 PKCS#5: 5 SCP: SCP01: 3 SCP02: 3 SCP03: 3	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: 3 PKCS: PKCS#1: 8 PKCS#3: 1 PKCS#5: 3 SCP: SCP01: 3 SCP02: 3 SCP03: 3
pdf_data/st_keywords/javacard_version	JavaCard: JC2.2.2: 1 Java Card 2.2.2: 7	JavaCard: Java Card 2.2.2: 3 Java Card 3.0.4: 7 JavaCard 3.0: 1
pdf_data/st_keywords/javacard_api_const	misc: TYPE_ACCESS: 7	misc: TYPE_ACCESS: 7
pdf_data/st_keywords/javacard_packages	javacard: javacard.framework: 2	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	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	/Author: Antoine de Lavernette /CreationDate: D:20150723151408+02'00' /Creator: Microsoft® Office Word 2007 /Keywords: Security Target, CC /ModDate: D:20150723151408+02'00' /Producer: Microsoft® Office Word 2007 /Subject: Security Target /Title: eTravel v1.0 Security Target MAÏA3 pdf_file_size_bytes: 1419745 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 93	/Author: Antoine de Lavernette /CreationDate: D:20151126145415+01'00' /Creator: Microsoft® Word 2013 /Keywords: Security Target, CC /ModDate: D:20151126145415+01'00' /Producer: Microsoft® Word 2013 /Subject: Security Target /Title: eTravel v1.0 Security Target MAÏA3 pdf_file_size_bytes: 1708746 pdf_hyperlinks: {} pdf_is_encrypted: False pdf_number_of_pages: 80
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