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.
PR/SM for IBM z15 and IBM LinuxOne III Systems Driver Level D41C
BSI-DSZ-CC-1133-2020 		MultiApp V4 JavaCard Virtual Machine
ANSSI-CC-2020/33
name PR/SM for IBM z15 and IBM LinuxOne III Systems Driver Level D41C MultiApp V4 JavaCard Virtual Machine
category Operating Systems ICs, Smart Cards and Smart Card-Related Devices and Systems
scheme DE FR
not_valid_after 30.06.2025 22.04.2027
not_valid_before 01.07.2020 28.05.2020
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1133c_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/certificat-anssi-cc-2020_33-s01.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1133a_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/anssi-cc-2020_33fr.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1133b_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/cible_anssi_cc_2020-33.pdf
manufacturer IBM Corporation Gemalto
manufacturer_web https://www.ibm.com https://www.gemalto.com/
security_level EAL5, AVA_VAN.5, ALC_TAT.3, ATE_FUN.2, ALC_FLR.3 EAL7
dgst 00e236c67ac43f3f dfa48e7ac54d10f0
heuristics/cert_id BSI-DSZ-CC-1133-2020 ANSSI-CC-2020/33
heuristics/cert_lab BSI SERMA
heuristics/extracted_sars ASE_INT.1, ALC_CMC.4, ASE_ECD.1, ADV_IMP.1, ATE_COV.2, ASE_TSS.1, ASE_SPD.1, ALC_CMS.5, AVA_VAN.5, ALC_DEL.1, ALC_LCD.1, ALC_TAT.3, ALC_FLR.3, ADV_FSP.5, ATE_FUN.2, AGD_OPE.1, ADV_INT.2, AGD_PRE.1, ATE_DPT.3, ADV_ARC.1, ASE_OBJ.2, ADV_TDS.4, ASE_REQ.2, ALC_DVS.1, ATE_IND.2, ASE_CCL.1 ALC_LCD.2, ASE_INT.1, ADV_LCD.2, ALC_DVS.2, ASE_ECD.1, ADV_TAT.3, ASE_TSS.1, ASE_SPD.1, AVA_VAN.5, ALC_DEL.1, ADV_FSP.6, ATE_FUN.2, ALC_TAT.3, AGD_OPE.1, AGD_PRE.1, ATE_IND.3, ADV_ARC.1, ALC_CMC.5, ADV_CMC.5, ADV_IMP.2, ASE_OBJ.2, ASE_REQ.2, ATE_DPT.4, ADV_INT.3, ALC_CMS.1, ASE_CCL.1, ADV_TDS.6, ATE_COV.3, ADV_SPM.1
heuristics/report_references/directly_referenced_by BSI-DSZ-CC-1160-2021 {}
heuristics/report_references/directly_referencing BSI-DSZ-CC-1109-2019 BSI-DSZ-CC-0891-V4-2019, ANSSI-CC-2017/76
heuristics/report_references/indirectly_referenced_by BSI-DSZ-CC-1186-2023, BSI-DSZ-CC-1160-2021, BSI-DSZ-CC-1222-2024 {}
heuristics/report_references/indirectly_referencing BSI-DSZ-CC-0846-2013, BSI-DSZ-CC-0715-2011, BSI-DSZ-CC-1005-2016, BSI-DSZ-CC-1109-2019, BSI-DSZ-CC-0953-2015, BSI-DSZ-CC-0793-2012, BSI-DSZ-CC-0900-2014, BSI-DSZ-CC-1048-2018 ANSSI-CC-2017/07, BSI-DSZ-CC-0891-2015, BSI-DSZ-CC-0782-2012, BSI-DSZ-CC-0891-V4-2019, BSI-DSZ-CC-0891-V3-2018, ANSSI-CC-2017/76, ANSSI-CC-2017/54, BSI-DSZ-CC-0891-V2-2016
heuristics/scheme_data
heuristics/st_references/directly_referencing {} BSI-DSZ-CC-0891-V2-2016
heuristics/st_references/indirectly_referencing {} BSI-DSZ-CC-0891-V2-2016
maintenance_updates
pdf_data/cert_filename 1133c_pdf.pdf certificat-anssi-cc-2020_33-s01.pdf
pdf_data/cert_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1133-2020: 1
  • FR:
    • ANSSI-CC-2020/33-S01: 2
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 5: 1
    • EAL 5 augmented: 1
  • EAL:
    • EAL7: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
    • ALC_TAT.3: 1
  • ATE:
    • ATE_FUN.2: 1
  • AVA:
    • AVA_VAN.5: 1
pdf_data/cert_keywords/eval_facility
  • Serma:
    • SERMA: 2
pdf_data/cert_keywords/standard_id
  • ISO:
    • ISO/IEC 15408: 2
    • ISO/IEC 18045: 2
pdf_data/cert_metadata
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /CreationDate: D:20200702094713+02'00'
  • /Creator: Writer
  • /Keywords: "Common Criteria, Certification, Zertifizierung, PR/SM, IBM, z15, IBM LinuxOne III Systems, BSI-DSZ-CC-1133"
  • /ModDate: D:20200702100618+02'00'
  • /Producer: LibreOffice 6.2
  • /Subject: PR/SM for IBM z15 and IBM LinuxOne III Systems Driver Level D41C with Bundle Level H06/S06c from IBM Corporation
  • /Title: Certificate BSI-DSZ-CC-1133
  • pdf_file_size_bytes: 313728
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
  • /Author: DUCLOS Charlene
  • /CreationDate: D:20220429113327+02'00'
  • /Creator: Microsoft® Word 2019
  • /Keywords: version x.x, révision x
  • /ModDate: D:20220429113327+02'00'
  • /Producer: Microsoft® Word 2019
  • /Title: ANSSI-CC-2020/33
  • pdf_file_size_bytes: 251233
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 2
pdf_data/report_filename 1133a_pdf.pdf anssi-cc-2020_33fr.pdf
pdf_data/report_frontpage
  • FR:
  • DE:
    • cc_security_level: Common Criteria Part 3 conformant EAL 5 augmented by ALC_FLR.3, ALC_TAT.3, ATE_FUN.2, AVA_VAN.5
    • cc_version: Product specific Security Target Common Criteria Part 2 conformant
    • cert_id: BSI-DSZ-CC-1133-2020
    • cert_item: PR/SM for IBM z15 and IBM LinuxOne III Systems Driver Level D41C
    • cert_lab: BSI
    • developer: IBM Corporation
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
    • ref_protection_profiles: None
  • FR:
    • cc_security_level: EAL 7
    • cc_version: Critères Communs version 3.1 révision 4
    • cert_id: ANSSI-CC-2020/33
    • cert_item: MultiApp V4 JavaCard Virtual Machine
    • cert_item_version: Référence 4.0.1
    • cert_lab: Serma Safety & Security 14 rue Galilée, CS 10071, 33608 Pessac Cedex, France
    • developer: Gemalto 6 rue de la verrerie, 92190 Meudon, France Trusted Labs 6 rue de la verrerie, 92190 Meudon, France Infineon Technologies AG Am Campeon 1-12, 85579 Neubiberg, Allemagne Commanditaire Gemalto 6 rue de la verrerie, 92190 Meudon, 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: Néant
  • DE:
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1109-2019: 3
    • BSI-DSZ-CC-1133-2020: 15
  • DE:
    • BSI-DSZ-CC-0891-V4-2019: 1
  • FR:
    • ANSSI-CC-2017/76: 2
    • ANSSI-CC-2017/76-S01: 1
    • ANSSI-CC-2020/33: 15
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 2: 2
    • EAL 2+: 1
    • EAL 4: 4
    • EAL 5: 4
    • EAL 5 augmented: 3
    • EAL 5+: 1
    • EAL 6: 1
  • EAL:
    • EAL 1: 1
    • EAL 2: 1
    • EAL 3: 1
    • EAL 5: 2
    • EAL 7: 7
    • EAL2: 1
    • EAL5: 2
    • EAL7: 2
  • ITSEC:
    • ITSEC E6 Elevé: 1
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_FSP.5: 1
    • ADV_INT.2: 1
    • ADV_TDS.4: 1
  • ALC:
    • ALC_CMS.5: 1
    • ALC_FLR: 3
    • ALC_FLR.3: 4
    • ALC_TAT.3: 5
  • ATE:
    • ATE_DPT.3: 1
    • ATE_FUN.2: 5
  • AVA:
    • AVA_VAN.5: 5
  • ADV:
    • ADV_ARC: 1
    • ADV_FSP: 1
    • ADV_IMP: 1
    • ADV_INT: 1
    • ADV_SPM: 1
    • ADV_TDS: 1
  • AGD:
    • AGD_OPE: 4
    • AGD_PRE: 2
  • 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: 4
pdf_data/report_keywords/vendor
  • Gemalto:
    • Gemalto: 3
  • Infineon:
    • Infineon: 2
    • Infineon Technologies AG: 1
pdf_data/report_keywords/eval_facility
  • atsec:
    • atsec: 3
  • Serma:
    • Serma Safety & Security: 1
  • TrustedLabs:
    • Trusted Labs: 1
pdf_data/report_keywords/symmetric_crypto
  • DES:
    • DES:
      • DES: 1
pdf_data/report_keywords/crypto_protocol
  • PACE:
    • PACE: 3
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 1
pdf_data/report_keywords/tee_name
  • IBM:
    • SE: 14
pdf_data/report_keywords/standard_id
  • BSI:
    • AIS 32: 1
    • AIS 34: 1
    • AIS 38: 1
  • ISO:
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
  • 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/certification_process
  • ConfidentialDocument:
    • Report, Version 3, 2020-05-29, Final Evaluation Technical Report, atsec information security GmbH (confidential document) [8] z15 System Hardware Management Console Operations Guide, Version 2.15.0, 2019-09-13, IBM: 1
    • being maintained, is not given any longer. In particular, prior to the dissemination of confidential documentation and information related to the TOE or resulting from the evaluation and certification: 1
  • OutOfScope:
    • out of scope: 1
    • the security test suite FTP06 must be included in the driver regression testing, which however is out of scope for this evaluation The combination of the above ensures that changes to the driver, including: 1
pdf_data/report_metadata
  • /Author: Pat
  • /CreationDate: D:20200604113216+02'00'
  • /Creator: PDF24 Creator
  • /ModDate: D:20200604113216+02'00'
  • /Producer: GPL Ghostscript 9.26
  • /Title: Microsoft Word - ANSSI-CC-2020_33fr.doc
  • pdf_file_size_bytes: 481052
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 14
pdf_data/st_filename 1133b_pdf.pdf cible_anssi_cc_2020-33.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1133: 1
  • DE:
    • BSI-DSZ-CC-0891-V2-2016: 1
  • NL:
    • CC-1: 2
    • CC-2: 3
    • CC-3: 2
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084-: 1
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL5: 4
  • EAL:
    • EAL5+: 1
    • EAL6: 1
    • EAL6 augmented: 1
    • EAL6+: 1
    • EAL7: 8
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 2
    • ADV_FSP.5: 2
    • ADV_IMP.1: 2
    • ADV_INT.2: 2
    • ADV_TDS.4: 2
  • AGD:
    • AGD_OPE.1: 2
    • AGD_PRE.1: 2
  • ALC:
    • ALC_CMC.4: 2
    • ALC_CMS.5: 2
    • ALC_DEL.1: 2
    • ALC_DVS.1: 2
    • ALC_FLR.3: 4
    • ALC_LCD.1: 2
    • ALC_TAT.3: 4
  • 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
  • ATE:
    • ATE_COV.2: 2
    • ATE_DPT.3: 2
    • ATE_FUN.2: 4
    • ATE_IND.2: 2
  • AVA:
    • AVA_VAN.5: 4
  • ADV:
    • ADV_ARC.1: 6
    • ADV_CMC.5: 3
    • ADV_FSP.1: 2
    • ADV_FSP.2: 2
    • ADV_FSP.4: 3
    • ADV_FSP.6: 11
    • ADV_IMP.1: 5
    • ADV_IMP.2: 6
    • ADV_INT.3: 4
    • ADV_LCD.2: 1
    • ADV_SPM.1: 7
    • ADV_TAT.3: 1
    • ADV_TDS.1: 1
    • ADV_TDS.3: 3
    • ADV_TDS.4: 3
    • ADV_TDS.6: 15
  • AGD:
    • AGD_OPE: 1
    • AGD_OPE.1: 6
    • AGD_PRE: 1
    • AGD_PRE.1: 5
  • ALC:
    • ALC_CMC.5: 7
    • ALC_CMS.1: 1
    • ALC_DEL.1: 1
    • ALC_DVS.2: 6
    • ALC_LCD.1: 3
    • ALC_LCD.2: 6
    • ALC_TAT.1: 2
    • ALC_TAT.3: 10
  • ASE:
    • ASE_CCL.1: 1
    • ASE_ECD.1: 4
    • ASE_INT.1: 5
    • ASE_OBJ.2: 3
    • ASE_REQ.1: 2
    • ASE_REQ.2: 2
    • ASE_SPD.1: 2
    • ASE_TSS.1: 1
  • ATE:
    • ATE_COV.1: 3
    • ATE_COV.3: 5
    • ATE_DPT.1: 1
    • ATE_DPT.4: 4
    • ATE_FUN.1: 6
    • ATE_FUN.2: 5
    • ATE_IND.3: 1
  • AVA:
    • AVA_VAN.5: 4
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_GEN.1: 10
    • FAU_GEN.1.1: 2
    • FAU_GEN.1.2: 1
    • FAU_GEN.2: 6
    • FAU_GEN.2.1: 1
    • FAU_SAR.1: 9
    • FAU_SAR.1.1: 1
    • FAU_SAR.1.2: 1
    • FAU_SAR.2: 6
    • FAU_SAR.2.1: 1
    • FAU_SAR.3: 7
    • FAU_SAR.3.1: 1
    • FAU_STG.1: 7
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
    • FAU_STG.4: 7
    • FAU_STG.4.1: 1
  • FDP:
    • FDP_ACC: 4
    • FDP_ACC.1: 3
    • FDP_ACC.1.1: 2
    • FDP_ACC.2: 25
    • FDP_ACC.2.1: 1
    • FDP_ACC.2.2: 1
    • FDP_ACF: 43
    • FDP_ACF.1: 14
    • FDP_ACF.1.1: 2
    • FDP_ACF.1.2: 2
    • FDP_ACF.1.3: 2
    • FDP_ACF.1.4: 2
    • FDP_IFC.1: 17
    • FDP_IFC.1.1: 1
    • FDP_IFF.1: 9
    • FDP_IFF.1.1: 1
    • FDP_IFF.1.2: 1
    • FDP_IFF.1.3: 1
    • FDP_IFF.1.4: 1
    • FDP_IFF.1.5: 1
    • FDP_RIP.2: 8
    • FDP_RIP.2.1: 1
  • FIA:
    • FIA_ATD.1: 10
    • FIA_ATD.1.1: 1
    • FIA_UID.2: 10
    • FIA_UID.2.1: 1
  • FMT:
    • FMT_MSA: 27
    • FMT_MSA.1: 14
    • FMT_MSA.3: 13
    • FMT_MSA.3.1: 4
    • FMT_MSA.3.2: 4
    • FMT_MTD.1: 9
    • FMT_MTD.1.1: 1
    • FMT_SMF.1: 12
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 14
    • FMT_SMR.1.1: 1
    • FMT_SMR.1.2: 1
  • FPR:
    • FPR_UNO.1: 13
    • FPR_UNO.1.1: 1
  • FPT:
    • FPT_ITT.1: 8
    • FPT_ITT.1.1: 1
    • FPT_STM.1: 9
    • FPT_STM.1.1: 1
    • FPT_TRC.1: 7
    • FPT_TRC.1.1: 1
    • FPT_TRC.1.2: 1
    • FPT_TST.1: 8
    • FPT_TST.1.1: 2
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FRU:
    • FRU_RSA.1: 7
    • FRU_RSA.1.1: 1
  • FTA:
    • FTA_TSE.1: 10
    • FTA_TSE.1.1: 1
  • FAU:
    • FAU_ARP.1: 16
    • FAU_ARP.1.1: 1
    • FAU_SAA.1: 2
  • FCO:
    • FCO_NRO: 2
  • FCS:
    • FCS_CKM.1: 3
    • FCS_CKM.2: 2
    • FCS_CKM.3: 2
    • FCS_CKM.4: 2
    • FCS_COP.1: 3
    • FCS_RND.1: 1
  • FDP:
    • FDP_ACC: 22
    • FDP_ACC.1: 4
    • FDP_ACC.2: 2
    • FDP_ACF: 19
    • FDP_ACF.1: 6
    • FDP_IFC: 15
    • FDP_IFC.1: 5
    • FDP_IFF: 13
    • FDP_IFF.1: 8
    • FDP_ITC: 2
    • FDP_RIP: 16
    • FDP_ROL: 12
    • FDP_ROL.1: 3
    • FDP_SDI.1: 1
    • FDP_SDI.2: 3
    • FDP_UIT: 2
  • FIA:
    • FIA_ATD: 8
    • FIA_ATD.1: 1
    • FIA_UAU: 1
    • FIA_UID: 4
    • FIA_UID.1: 1
    • FIA_USB: 2
  • FMT:
    • FMT_MSA: 54
    • FMT_MSA.1: 5
    • FMT_MSA.2: 3
    • FMT_MSA.3: 10
    • FMT_MTD: 16
    • FMT_MTD.1: 2
    • FMT_MTD.3: 1
    • FMT_REV: 1
    • FMT_SMF: 14
    • FMT_SMF.1: 4
    • FMT_SMR: 18
    • FMT_SMR.1: 8
  • FPR:
    • FPR_UNO: 1
    • FPR_UNO.1: 2
  • FPT:
    • FPT_FLS: 21
    • FPT_FLS.1: 4
    • FPT_ITT: 1
    • FPT_PHP: 1
    • FPT_PHP.3: 1
    • FPT_RCV: 10
    • FPT_RCV.3: 7
    • FPT_TDC.1: 9
    • FPT_TDC.1.1: 1
    • FPT_TDC.1.2: 1
    • FPT_TST: 1
  • FTP:
    • FTP_ITC: 2
pdf_data/st_keywords/cc_claims
  • OE:
    • OE.SIE: 3
  • T:
    • T.LPAR_XCTL: 5
  • A:
    • A.ALARM-ENV: 4
    • A.APPLET: 5
    • A.CIPHER: 4
    • A.DELETION: 8
    • A.FIREWALL-ENV: 4
    • A.GLOBAL_ARRAYS_CONFI: 1
    • A.GLOBAL_ARRAYS_CONFID: 3
    • A.INSTALL-ENV: 4
    • A.KEY-MNGT: 4
    • A.LOAD: 4
    • A.OBJ-: 1
    • A.OBJ-DELETION: 3
    • A.OPERATE-ENV: 4
    • A.PIN-MNGT: 4
    • A.REALLOCATION: 4
    • A.RESOURCES: 4
    • A.SID: 4
    • A.TRANSACTION: 4
    • A.VERIFICATION: 5
  • D:
    • D.API_DATA: 3
    • D.APP_CODE: 6
    • D.APP_C_DATA: 3
    • D.APP_I_DATA: 4
    • D.CRYPTO: 3
    • D.JCS_CODE: 3
    • D.JCS_DATA: 5
    • D.PIN: 4
    • D.SEC_DATA: 7
  • O:
    • O.ALARM: 15
    • O.APPLET: 1
    • O.CARD-MANAGEMENT: 1
    • O.DELETION: 1
    • O.FIREWALL: 15
    • O.GLOBAL_ARRAYS_CONFID: 2
    • O.GLOBAL_ARRAYS_INTEG: 3
    • O.INSTALL: 8
    • O.JAVAOBJECT: 31
    • O.KEY-MNGT: 1
    • O.LOAD: 1
    • O.NATIVE: 11
    • O.OBJ-DELETION: 1
    • O.OPERATE: 16
    • O.PIN-: 1
    • O.REALLOCATION: 1
    • O.RESOURCES: 1
    • O.RND: 4
    • O.SCP: 3
    • O.SID: 1
    • O.TRANSACTION: 1
  • OE:
    • OE.ALARM-ENV: 2
    • OE.APPLET: 4
    • OE.CARD-MANAGEMENT: 1
    • OE.CARD_MANAGEMENT: 15
    • OE.CIPHER: 7
    • OE.CODE-EVIDENCE: 10
    • OE.DELETION: 3
    • OE.FIREWALL-ENV: 4
    • OE.GLOBAL_ARRAYS_CONFID: 4
    • OE.GLOBAL_ARRAYS_INTEG: 1
    • OE.INSTALL-ENV: 2
    • OE.KEY-MNGT: 5
    • OE.LOAD: 7
    • OE.OBJ-DELETION: 5
    • OE.OPERATE: 1
    • OE.OPERATE-ENV: 4
    • OE.PIN-MNGT: 7
    • OE.REALLOCATION: 4
    • OE.RESOURCES: 6
    • OE.RND: 4
    • OE.SCP: 22
    • OE.SID: 8
    • OE.TRANSACTION: 5
    • OE.VERIFICATION: 26
  • OP:
    • OP.ARRAY_ACCESS: 6
    • OP.CREATE: 12
    • OP.INSTANCE_FIELD: 6
    • OP.INVK_INTERFACE: 10
    • OP.INVK_VIRTUAL: 8
    • OP.JAVA: 8
    • OP.PUT: 9
    • OP.THROW: 7
    • OP.TYPE_ACCESS: 7
  • OSP:
    • OSP.RND: 4
    • OSP.VERIFICATION: 4
  • OT:
    • OT.GLOBAL_ARRAYS_INTEG: 1
  • R:
    • R.JAVA: 5
  • 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: 66
  • Infineon:
    • Infineon: 1
pdf_data/st_keywords/eval_facility
  • atsec:
    • atsec: 1
  • Serma:
    • Serma Technologies: 1
  • TrustedLabs:
    • Trusted Labs: 1
pdf_data/st_keywords/randomness
  • RNG:
    • RND: 12
    • RNG: 2
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
pdf_data/st_keywords/tee_name
  • IBM:
    • SE: 24
pdf_data/st_keywords/standard_id
  • CC:
    • CCMB-2009-07-001: 1
    • CCMB-2009-07-002: 1
    • CCMB-2009-07-003: 1
    • CCMB-2009-07-004: 1
pdf_data/st_keywords/javacard_version
  • JavaCard:
    • Java Card 2.2.2: 3
    • Java Card 3.0.4: 4
pdf_data/st_keywords/javacard_api_const
  • misc:
    • TYPE_ACCESS: 7
pdf_data/st_keywords/javacard_packages
  • java:
    • java.lang: 1
  • javacard:
    • javacard.framework: 1
    • javacard.framework.service: 1
    • javacard.security: 1
  • javacardx:
    • javacardx.crypto: 1
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 OE.SCP.RECOVERY and OE.SCP.SUPPORT are: 1
    • out of scope: 1
pdf_data/st_metadata
  • /Author: Maria Christofi
  • /CreationDate: D:20200309171000+01'00'
  • /Creator: Microsoft® Word 2013
  • /Keywords: Security Target, CC
  • /ModDate: D:20200309171000+01'00'
  • /Producer: Microsoft® Word 2013
  • /Subject: Security Target
  • /Title: Security Target: Formal assurance for MultiAppV4 JCS
  • pdf_file_size_bytes: 1571623
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 61
state/cert/convert_garbage False True
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