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.
MultiApp V5.1 Java Card Virtual Machine Version 5.1 (ANSSI-CC-2023/45)
ANSSI-CC-2023/45 		eTravel v2.3 on MultiApp v4.1 platform, BAC and AA activated (version 2.3.0.1) (ANSSI-CC-2023/54)
ANSSI-CC-2023/54
name MultiApp V5.1 Java Card Virtual Machine Version 5.1 (ANSSI-CC-2023/45) eTravel v2.3 on MultiApp v4.1 platform, BAC and AA activated (version 2.3.0.1) (ANSSI-CC-2023/54)
not_valid_after 13.11.2028 14.12.2028
not_valid_before 13.11.2023 14.12.2023
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Certificat-CC-2023_45fr.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Certificat-CC-2023_54fr.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2023_45fr.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-CC-2023_54fr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-cible-CC-2023_45en.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ANSSI-cible-2023_54en.pdf
security_level EAL7 ALC_CMS.5, ALC_DVS.2, ALC_TAT.2, ADV_TDS.4, ATE_DPT.3, ADV_INT.2, EAL4+, ADV_FSP.5
dgst 357e465d8baf8302 9a85917962a7583a
heuristics/cert_id ANSSI-CC-2023/45 ANSSI-CC-2023/54
heuristics/extracted_sars ALC_CMC.5, ALC_CMS.5, ASE_INT.1, ATE_DPT.4, ADV_SPM.1, ADV_TDS.6, ASE_TSS.2, ADV_IMP.2, ADV_FSP.6, ATE_FUN.2, AGD_PRE.1, ASE_CCL.1, ALC_DVS.2, ADV_INT.3, AVA_VAN.5, ASE_SPD.1, ASE_OBJ.2, ATE_IND.3, ASE_REQ.2, ADV_ARC.1, ALC_LCD.2, ALC_DEL.1, ATE_COV.3, AGD_OPE.1, ALC_FLR.2, ASE_ECD.1, ALC_TAT.3 ADV_FSP.5, ALC_CMS.5, ADV_ARC.1, ALC_DVS.2, ALC_TAT.2, ATE_DPT.3, ADV_TDS.4, ADV_INT.2
heuristics/extracted_versions 5.1 4.1, 2.3.0.1, 2.3
heuristics/report_references/directly_referencing ANSSI-CC-2023/01, ANSSI-CC-2023/31 ANSSI-CC-2023/30, ANSSI-CC-2023/20
heuristics/report_references/indirectly_referencing ANSSI-CC-2023/01, ANSSI-CC-2023/31 ANSSI-CC-2023/30, ANSSI-CC-2023/20
heuristics/scheme_data
heuristics/st_references/directly_referencing ANSSI-CC-2023/01 ANSSI-CC-2023/20
heuristics/st_references/indirectly_referencing ANSSI-CC-2023/01 ANSSI-CC-2023/20
maintenance_updates
protection_profiles
pdf_data/cert_filename Certificat-CC-2023_45fr.pdf Certificat-CC-2023_54fr.pdf
pdf_data/cert_keywords/cc_cert_id
  • FR:
    • ANSSI-CC-2023/45: 2
  • FR:
    • ANSSI-CC-2023/54: 2
pdf_data/cert_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0055-2009: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL2: 1
    • EAL7: 1
  • EAL:
    • EAL2: 1
    • EAL4: 1
pdf_data/cert_keywords/cc_sar
  • ADV:
    • ADV_FSP.5: 1
    • ADV_INT.2: 1
    • ADV_TDS.4: 1
  • ALC:
    • ALC_CMS.5: 1
    • ALC_DVS.2: 1
    • ALC_TAT.2: 1
  • ATE:
    • ATE_DPT.3: 1
pdf_data/cert_keywords/eval_facility
  • CEA-LETI:
    • CEA - LETI: 2
  • Serma:
    • SERMA: 2
pdf_data/cert_metadata
  • /CreationDate: D:20231129170130+01'00'
  • /Creator: Acrobat PDFMaker 23 pour Word
  • /Keywords:
  • /ModDate: D:20231129170302+01'00'
  • /Producer: Adobe PDF Library 23.1.175
  • pdf_file_size_bytes: 130676
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 2
  • /CreationDate: D:20231220101648+01'00'
  • /Creator: Acrobat PDFMaker 23 pour Word
  • /Keywords:
  • /ModDate: D:20231220102043+01'00'
  • /Producer: Adobe PDF Library 23.1.175
  • pdf_file_size_bytes: 158048
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 2
pdf_data/report_filename ANSSI-CC-2023_45fr.pdf ANSSI-CC-2023_54fr.pdf
pdf_data/report_keywords/cc_cert_id
  • FR:
    • ANSSI-CC-2023/01: 1
    • ANSSI-CC-2023/31: 1
    • ANSSI-CC-2023/45: 2
  • FR:
    • ANSSI-CC-2023/20: 1
    • ANSSI-CC-2023/30: 1
    • ANSSI-CC-2023/54: 2
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0084-2014: 1
  • BSI:
    • BSI-CC-PP-0055-2009: 1
    • BSI-PP-0055-2009: 1
    • BSI-PP-0084-2014: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 7: 3
    • EAL2: 2
    • EAL6: 1
    • EAL7: 2
  • ITSEC:
    • ITSEC E6 Elevé: 1
  • EAL:
    • EAL2: 2
    • EAL4: 1
    • EAL7: 1
  • ITSEC:
    • ITSEC E6 Elevé: 1
pdf_data/report_keywords/cc_sar
  • AGD:
    • AGD_OPE: 5
    • AGD_PRE: 2
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.2: 1
  • AVA:
    • AVA_VAN: 1
  • ADV:
    • ADV_FSP.5: 1
    • ADV_INT.2: 1
    • ADV_TDS.4: 1
  • AGD:
    • AGD_OPE: 1
    • AGD_PRE: 1
  • ALC:
    • ALC_CMS.5: 1
    • ALC_DVS.2: 1
    • ALC_FLR: 1
    • ALC_TAT.2: 1
  • ATE:
    • ATE_DPT.3: 1
  • AVA:
    • AVA_VAN: 1
pdf_data/report_keywords/vendor
  • Gemalto:
    • Gemalto: 1
  • Samsung:
    • Samsung: 1
pdf_data/report_keywords/eval_facility
  • CEA-LETI:
    • CEA - LETI: 1
  • CESTI:
    • CESTI: 3
  • CESTI:
    • CESTI: 1
  • Serma:
    • SERMA: 1
pdf_data/report_keywords/cplc_data
  • ICFab:
    • IC Fabricator: 1
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
  • ICAO:
    • ICAO: 1
  • SCP:
    • SCP01: 1
    • SCP02: 1
    • SCP03: 1
pdf_data/report_metadata
pdf_data/st_filename ANSSI-cible-CC-2023_45en.pdf ANSSI-cible-2023_54en.pdf
pdf_data/st_keywords/cc_cert_id
  • FR:
    • ANSSI-CC-2023/01: 1
  • NL:
    • CC-1: 2
    • CC-2: 3
    • CC-3: 3
  • FR:
    • ANSSI-CC-2023/20: 1
  • NL:
    • CC-1: 2
    • CC-2: 5
    • CC-3: 3
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084-: 1
    • BSI-CC-PP-0084-2014: 1
    • BSI-CC-PP-0099-V2-2020: 1
  • BSI:
    • BSI-CC-PP-0068-: 1
    • BSI-CC-PP-0084-: 1
    • BSI-PP-0055-2009: 1
    • BSI-PP-0056-V2-MA-2012: 1
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 6+: 1
    • EAL6: 1
    • EAL7: 36
  • EAL:
    • EAL 6+: 1
    • EAL4: 3
    • EAL4 augmented: 1
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC: 1
    • ADV_ARC.1: 6
    • ADV_FSP.1: 1
    • ADV_FSP.2: 1
    • ADV_FSP.4: 4
    • ADV_FSP.6: 5
    • ADV_IMP.1: 4
    • ADV_IMP.2: 5
    • ADV_INT.3: 2
    • ADV_SPM.1: 8
    • ADV_TDS.1: 2
    • ADV_TDS.3: 3
    • ADV_TDS.4: 1
    • ADV_TDS.6: 7
  • AGD:
    • AGD_OPE: 1
    • AGD_OPE.1: 6
    • AGD_PRE: 1
    • AGD_PRE.1: 6
  • ALC:
    • ALC_CMC.5: 4
    • ALC_CMS.5: 1
    • ALC_DEL.1: 2
    • ALC_DVS.2: 4
    • ALC_FLR.2: 1
    • ALC_LCD.1: 1
    • ALC_LCD.2: 3
    • ALC_TAT: 1
    • ALC_TAT.1: 2
    • ALC_TAT.3: 3
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 1
    • ASE_INT.1: 1
    • ASE_OBJ.2: 1
    • ASE_REQ.2: 1
    • ASE_SPD.1: 1
    • ASE_TSS.1: 1
    • ASE_TSS.2: 1
  • ATE:
    • ATE_COV.1: 2
    • ATE_COV.3: 3
    • ATE_DPT.1: 1
    • ATE_DPT.4: 2
    • ATE_FUN.1: 3
    • ATE_FUN.2: 4
    • ATE_IND.3: 2
  • AVA:
    • AVA_VAN.5: 2
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.5: 2
    • ADV_INT.2: 2
    • ADV_TDS.4: 2
  • AGD:
    • AGD_OPE: 1
    • AGD_PRE: 1
  • ALC:
    • ALC_CMS.5: 2
    • ALC_DVS.2: 3
    • ALC_TAT.2: 2
  • ASE:
    • ASE_ECD: 1
  • ATE:
    • ATE_DPT.3: 2
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_ARP.1: 1
    • FAU_SAS.1: 1
  • FCO:
    • FCO_NRO: 1
  • FCS:
    • FCS_RNG: 1
    • FCS_RNG.1: 2
  • FDP:
    • FDP_ACC: 21
    • FDP_ACC.1: 7
    • FDP_ACC.2: 2
    • FDP_ACF: 17
    • FDP_ACF.1: 9
    • FDP_IFC: 16
    • FDP_IFC.1: 6
    • FDP_IFF: 11
    • FDP_IFF.1: 8
    • FDP_ITC: 2
    • FDP_ITT.1: 1
    • FDP_RIP: 9
    • FDP_ROL: 2
    • FDP_SDC.1: 1
    • FDP_SDI: 3
    • FDP_SDI.2: 1
    • FDP_UCT.1: 1
    • FDP_UIT: 2
    • FDP_UIT.1: 1
  • FIA:
    • FIA_API.1: 1
    • FIA_ATD: 2
    • FIA_UAU: 2
    • FIA_UID: 5
    • FIA_UID.1: 1
    • FIA_USB: 1
  • FMT:
    • FMT_LIM: 10
    • FMT_LIM.1: 1
    • FMT_LIM.2: 1
    • FMT_MSA: 61
    • FMT_MSA.1: 6
    • FMT_MSA.2: 2
    • FMT_MSA.3: 9
    • FMT_MTD: 9
    • FMT_MTD.1: 1
    • FMT_SMF: 18
    • FMT_SMF.1: 6
    • FMT_SMR: 19
    • FMT_SMR.1: 9
  • FPR:
    • FPR_UNO: 1
    • FPR_UNO.1: 1
  • FPT:
    • FPT_FLS: 10
    • FPT_FLS.1: 1
    • FPT_ITT: 2
    • FPT_ITT.1: 1
    • FPT_PHP: 3
    • FPT_PHP.3: 1
    • FPT_RCV: 2
    • FPT_TDC.1: 1
    • FPT_TST: 1
  • FRU:
    • FRU_FLT.2: 1
  • FTP:
    • FTP_ITC: 3
    • FTP_ITC.1: 1
    • FTP_TRP: 1
  • FAU:
    • FAU_GEN: 1
    • FAU_SAS: 6
    • FAU_SAS.1: 12
    • FAU_SAS.1.1: 2
  • FCS:
    • FCS_CKM: 14
    • FCS_CKM.1: 19
    • FCS_CKM.1.1: 2
    • FCS_CKM.2: 4
    • FCS_CKM.4: 29
    • FCS_CKM.4.1: 1
    • FCS_COP: 50
    • FCS_COP.1: 9
    • FCS_COP.1.1: 1
    • FCS_RND: 7
    • FCS_RND.1: 12
    • FCS_RND.1.1: 2
    • FCS_RNG: 1
  • FDP:
    • FDP_ACC.1: 17
    • FDP_ACC.1.1: 1
    • FDP_ACF: 1
    • FDP_ACF.1: 12
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 2
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 2
    • FDP_IFC.1: 4
    • FDP_ITC: 2
    • FDP_ITC.1: 12
    • FDP_ITC.2: 12
    • FDP_UCT.1: 10
    • FDP_UCT.1.1: 1
    • FDP_UIT.1: 9
    • FDP_UIT.1.1: 1
    • FDP_UIT.1.2: 1
  • FIA:
    • FIA_AFL.1: 11
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 1
    • FIA_API: 13
    • FIA_API.1: 5
    • FIA_API.1.1: 1
    • FIA_SOS.2: 1
    • FIA_UAU: 5
    • FIA_UAU.1: 10
    • FIA_UAU.1.1: 1
    • FIA_UAU.1.2: 1
    • FIA_UAU.4: 11
    • FIA_UAU.4.1: 1
    • FIA_UAU.5: 10
    • FIA_UAU.5.1: 1
    • FIA_UAU.5.2: 3
    • FIA_UAU.6: 11
    • FIA_UAU.6.1: 1
    • FIA_UID.1: 11
    • FIA_UID.1.1: 1
    • FIA_UID.1.2: 1
  • FMT:
    • FMT_LIM: 7
    • FMT_LIM.1: 20
    • FMT_LIM.1.1: 2
    • FMT_LIM.2: 18
    • FMT_LIM.2.1: 2
    • FMT_MSA.1: 1
    • FMT_MSA.3: 3
    • FMT_MTD: 36
    • FMT_MTD.1: 6
    • FMT_SMF.1: 20
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 24
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
    • FMT_SRM.1: 1
  • FPT:
    • FPT_EMS: 4
    • FPT_EMS.1: 13
    • FPT_EMS.1.1: 3
    • FPT_EMS.1.2: 3
    • FPT_FLS.1: 11
    • FPT_FLS.1.1: 1
    • FPT_PHP.3: 12
    • FPT_PHP.3.1: 1
    • FPT_TST.1: 10
    • FPT_TST.1.1: 1
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FTP:
    • FTP_ITC.1: 5
    • FTP_TRP.1: 5
pdf_data/st_keywords/cc_claims
  • A:
    • A.CAP_FILE: 3
    • A.VERIFICATION: 3
  • D:
    • D.API_DATA: 3
    • D.APP_CODE: 5
    • D.APP_C_DATA: 2
    • D.APP_I_DATA: 3
    • D.CRYPTO: 3
    • D.JCS_CODE: 3
    • D.JCS_DATA: 4
    • D.PIN: 4
    • D.SEC_DATA: 5
  • O:
    • O.APPLET: 2
    • O.ARRAY_VIEWS_CONFID: 4
    • O.ARRAY_VIEWS_INTEG: 2
    • O.ARRAY_VIEW_CONFID: 1
    • O.CODE_CAP_FILE: 3
    • O.FIREWALL: 15
    • O.GLOBAL_ARRAYS_INTEG: 4
    • O.JAVAOBJECT: 38
  • OE:
    • OE.ALARM: 11
    • OE.CAP_FILE: 4
    • OE.CARD-MANAGEMENT: 2
    • OE.CARD_MANAGEMENT: 10
    • OE.CODE-EVIDENCE: 11
    • OE.INSTALL: 4
    • OE.LOAD: 5
    • OE.NATIVE: 7
    • OE.OPERATE: 13
    • OE.REALLOCATION: 5
    • OE.SCP: 16
    • OE.SID: 8
    • OE.VERIFICATION: 25
  • OP:
    • OP.ARRAY_AASTORE: 3
    • OP.ARRAY_ACCESS: 7
    • OP.ARRAY_LENGTH: 3
    • OP.ARRAY_T_ALOAD: 3
    • OP.ARRAY_T_ASTORE: 3
    • OP.CREATE: 9
    • OP.DELETE_APPLET: 1
    • OP.DELETE_CAP_FILE: 1
    • OP.DELETE_CAP_FILE_APPLET: 1
    • OP.INSTANCE_FIELD: 6
    • OP.INVK_INTERFACE: 10
    • OP.INVK_VIRTUAL: 8
    • OP.JAVA: 6
    • OP.PUT: 8
    • OP.PUTFIELD: 1
    • OP.PUTSTATIC: 1
    • OP.THROW: 7
    • OP.TYPE_ACCESS: 7
  • OSP:
    • OSP.VERIFICATION: 3
  • R:
    • R.JAVA: 9
  • T:
    • T.CONFID-APPLI-DATA: 3
    • T.CONFID-JCS-CODE: 3
    • T.CONFID-JCS-DATA: 3
    • T.EXE-CODE: 6
    • T.INTEG-APPLI-CODE: 6
    • T.INTEG-APPLI-DATA: 6
    • T.INTEG-JCS-CODE: 3
    • T.INTEG-JCS-DATA: 3
    • T.NATIVE: 3
    • T.SID: 6
  • OE:
    • OE.MRTD_: 2
pdf_data/st_keywords/vendor
  • Infineon:
    • Infineon: 1
  • Thales:
    • Thales: 32
  • Gemalto:
    • Gemalto: 1
  • Samsung:
    • Samsung: 12
  • Thales:
    • Thales: 17
    • Thales Group: 58
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 1
  • DES:
    • DES:
      • DES: 1
  • constructions:
    • MAC:
      • HMAC: 1
  • DES:
    • 3DES:
      • TDES: 1
      • Triple-DES: 7
    • DES:
      • DES: 2
  • constructions:
    • MAC:
      • KMAC: 1
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 3
  • FF:
    • DH:
      • DH: 1
  • ECC:
    • ECC:
      • ECC: 1
    • ECDSA:
      • ECDSA: 2
  • FF:
    • DH:
      • DH: 1
      • Diffie-Hellman: 1
  • RSA:
    • RSA 1024: 1
pdf_data/st_keywords/hash_function
  • SHA:
    • SHA3:
      • SHA3: 1
  • SHA:
    • SHA1:
      • SHA-1: 1
    • SHA2:
      • SHA-256: 1
      • SHA-512: 1
pdf_data/st_keywords/crypto_scheme
  • KA:
    • Key Agreement: 2
  • MAC:
    • MAC: 4
pdf_data/st_keywords/crypto_protocol
  • PACE:
    • PACE: 2
  • PACE:
    • PACE: 3
pdf_data/st_keywords/randomness
  • RNG:
    • RNG: 1
  • RNG:
    • RNG: 2
  • TRNG:
    • DTRNG: 3
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 1
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • malfunction: 1
  • SCA:
    • physical probing: 1
  • FI:
    • Malfunction: 5
    • Physical Tampering: 5
    • Physical tampering: 1
    • fault injection: 1
    • malfunction: 5
    • physical tampering: 1
  • SCA:
    • DPA: 2
    • Leak-Inherent: 1
    • SPA: 1
    • physical probing: 3
    • timing attacks: 1
  • other:
    • reverse engineering: 1
pdf_data/st_keywords/tee_name
  • IBM:
    • SE: 2
pdf_data/st_keywords/cplc_data
  • ICFab:
    • IC Fabricator: 1
  • ICType:
    • IC Type: 1
pdf_data/st_keywords/ic_data_group
  • EF:
    • EF.COM: 8
    • EF.DG1: 28
    • EF.DG13: 3
    • EF.DG14: 3
    • EF.DG15: 5
    • EF.DG16: 26
    • EF.DG2: 10
    • EF.DG3: 6
    • EF.DG4: 6
    • EF.DG5: 7
    • EF.DG6: 1
    • EF.SOD: 8
pdf_data/st_keywords/standard_id
  • BSI:
    • AIS31: 1
    • BSI-AIS31: 1
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
    • CCMB-2017-04-004: 1
  • FIPS:
    • FIPS 180-2: 1
    • FIPS 46-3: 2
    • FIPS PUB 46-3: 1
    • FIPS46-3: 3
  • ICAO:
    • ICAO: 13
  • ISO:
    • ISO/IEC 14443: 2
    • ISO/IEC 7816-4: 1
  • RFC:
    • RFC3369: 1
pdf_data/st_keywords/javacard_version
  • JavaCard:
    • Java Card 3.1: 4
  • JavaCard:
    • Java Card 3.0.4: 1
pdf_data/st_keywords/javacard_api_const
  • misc:
    • TYPE_ACCESS: 7
pdf_data/st_keywords/javacard_packages
  • com:
    • com.gemalto.belpic: 1
    • com.gemalto.javacard.eid: 1
    • com.gemalto.javacard.fido.ctap: 1
    • com.gemalto.javacard.iasclassic: 1
    • com.gemalto.javacard.mspnp: 1
    • com.gemalto.javacardx.gdp: 1
    • com.gemalto.moc.client: 1
    • com.gemalto.moc.server: 1
    • com.gemalto.mpcos: 1
    • com.gemalto.puredi: 1
    • com.gemalto.tacho: 1
  • javacard:
    • javacard.eid: 1
    • javacard.fido.ctap: 1
    • javacard.iasclassic: 1
    • javacard.mspnp: 1
  • javacardx:
    • javacardx.gdp: 1
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • • The DELETE and INSTALL APDU commands are out of scope of this SPM: 1
    • 1, are out of the scope of the SPM as they are linked to the applet loading or deletion that is out of scope of the SPM boundaries limited to VM opcodes The SFR FMT_MTD.3/JCRE is out of scope of the SPM: 1
    • and deletion; see #.DELETION and #.INSTALL). • The DELETE and INSTALL APDU commands are out of scope of this SPM. The list of registred applets’ AIDs is proven to be not modified during the execution: 1
    • as a null reference. Such a mechanism is implementation-dependent. The deletion of applets is out of scope of this SPM scope. In the case of an array type, fields are components of the array ([JVM], §2.14: 1
    • because AID registry is created during loading phase, which is also out of scope of the SPM (Hypothesis 2 of the SPM document [MAV51_SPM]). MultiApp V5.1: Security Target Java: 1
    • is also out of scope (Hypothesis 4 of the SPM document [MAV51_SPM]).. 3) S.CAP_FILE performing OP.ARRAY_AASTORE of the: 1
    • management functions: • Modify the Currently Active Context Note: the Selected Applet context is out of scope of the VM functionalities. It is a process that occurs prior to VM start The initial setting of: 1
    • out of scope: 8
    • the active context is not the same as the Selected Applet Context. Application note: This rule is out of scope of the SPM modelisation because CLEAR_ON_DESELECT objects can be created exclusively in the API: 1
pdf_data/st_metadata
  • /Author: OHAYON Franck
  • /CreationDate: D:20230606163814+02'00'
  • /Creator: Microsoft® Word for Microsoft 365
  • /ModDate: D:20230606163814+02'00'
  • /Producer: Microsoft® Word for Microsoft 365
  • /Title: MultiApp V5.1: JCVM Security Target
  • pdf_file_size_bytes: 1232740
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 60
  • /Author: D1417545
  • /CreationDate: D:20231003154348+02'00'
  • /Creator: Microsoft® Word for Microsoft 365
  • /Keywords: 05-07-2018
  • /ModDate: D:20231003154348+02'00'
  • /Producer: Microsoft® Word for Microsoft 365
  • /Subject: 1.5
  • /Title: MultiApp V4.1: eTravel 2.3 BAC Security Target
  • pdf_file_size_bytes: 1089581
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 58
state/cert/pdf_hash Different Different
state/cert/txt_hash Different Different
state/report/pdf_hash Different Different
state/report/txt_hash Different Different
state/st/pdf_hash Different Different
state/st/txt_hash Different Different