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.
L4Re Secure Separation Kernel CC Version 1.0.1
BSI-DSZ-CC-1177-2025 		NXP Secure Smart Card Controller P6021y VB* including IC Dedicated Software
BSI-DSZ-CC-1072-V2-2019
name L4Re Secure Separation Kernel CC Version 1.0.1 NXP Secure Smart Card Controller P6021y VB* including IC Dedicated Software
category Operating Systems ICs, Smart Cards and Smart Card-Related Devices and Systems
status active archived
not_valid_after 18.02.2030 27.06.2024
not_valid_before 18.02.2025 27.06.2019
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177c_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1072V2c_pdf.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177a_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1072V2a_pdf.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177b_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1072V2b_pdf.pdf
manufacturer Kernkonzept GmbH NXP Semiconductors Germany GmbH, Business Unit Security and Connectivity
manufacturer_web https://kernkonzept.com https://www.nxp.com
security_level EAL4+, ALC_FLR.3 EAL6+, ASE_TSS.2, ALC_FLR.1
dgst 7929b54ea442ff99 2ff1474b4f717192
heuristics/cert_id BSI-DSZ-CC-1177-2025 BSI-DSZ-CC-1072-V2-2019
heuristics/extracted_sars ADV_TDS.3, AVA_VAN.3, ALC_FLR.3, ASE_CCL.1, ATE_FUN.1, ASE_OBJ.2, ASE_INT.1, ALC_CMC.4, ASE_REQ.2, AGD_PRE.1, ATE_IND.2, ATE_DPT.1, ASE_ECD.1, ADV_IMP.1, ALC_LCD.1, ASE_SPD.1, ATE_COV.2, ALC_DVS.1, ALC_TAT.1, AGD_OPE.1, ALC_CMS.4, ALC_DEL.1, ASE_TSS.1, ADV_FSP.4, ADV_ARC.1 ASE_CCL.1, ASE_OBJ.2, ALC_CMC.5, ATE_DPT.3, AVA_VAN.5, ASE_INT.1, ASE_REQ.2, ATE_FUN.2, ADV_IMP.2, AGD_PRE.1, ATE_IND.2, ASE_ECD.1, ALC_FLR.1, ALC_TAT.3, ALC_LCD.1, ALC_DVS.2, ADV_TDS.5, ASE_SPD.1, ATE_COV.3, ADV_INT.3, ASE_TSS.2, ALC_CMS.5, AGD_OPE.1, ADV_FSP.5, ALC_DEL.1, ADV_SPM.1, ADV_ARC.1
heuristics/extracted_versions 1.0.1 -
heuristics/report_references/directly_referenced_by {} BSI-DSZ-CC-1072-V3-2019
heuristics/report_references/directly_referencing {} BSI-DSZ-CC-1072-2018
heuristics/report_references/indirectly_referenced_by {} BSI-DSZ-CC-1072-V5-2022, BSI-DSZ-CC-1072-V4-2021, NSCIB-CC-23-66030-CR, BSI-DSZ-CC-1072-V3-2019
heuristics/report_references/indirectly_referencing {} BSI-DSZ-CC-0955-V2-2016, BSI-DSZ-CC-0955-2016, BSI-DSZ-CC-1072-2018
heuristics/scheme_data
heuristics/protection_profiles {} cf0f01bcd7be3e9c
protection_profile_links {} https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp0084b_pdf.pdf
pdf_data/cert_filename 1177c_pdf.pdf 1072V2c_pdf.pdf
pdf_data/cert_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177-2025: 1
  • DE:
    • BSI-DSZ-CC-1072-V2-2019: 1
pdf_data/cert_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084-2014: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
  • EAL:
    • EAL 2: 1
    • EAL 5: 1
    • EAL 6: 1
    • EAL 6 augmented: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.1: 1
  • ASE:
    • ASE_TSS.2: 1
pdf_data/cert_keywords/vendor
  • NXP:
    • NXP: 1
    • NXP Semiconductors: 1
pdf_data/cert_metadata
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /Keywords: "Common Criteria, Certification, Zertifizierung, Kernkonzept, Mikrokernel L4Re"
  • /Subject: Common Criteria, Certification, Zertifizierung, Kernkonzept, Mikrokernel L4Re
  • /Title: Urkunde BSI-DSZ-CC-1177-2025
  • pdf_file_size_bytes: 230300
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /CreationDate: D:20190702130859+02'00'
  • /Creator: Writer
  • /ModDate: D:20190702130951+02'00'
  • /Producer: LibreOffice 5.2
  • /Subject: NXP Secure Smart Card Controller P6021y VB* including IC Dedicated Software
  • /Title: Certification Report BSI-DSZ-CC-1072-V2-2019
  • pdf_file_size_bytes: 341900
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
pdf_data/report_filename 1177a_pdf.pdf 1072V2a_pdf.pdf
pdf_data/report_frontpage
  • DE:
    • cert_id: BSI-DSZ-CC-1177-2025
    • cert_item: L4Re Secure Separation Kernel CC Version 1.0.1
    • cert_lab: BSI
    • developer: Kernkonzept GmbH
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
  • DE:
    • cc_security_level: Common Criteria Part 3 conformant EAL 6 augmented by ASE_TSS.2, ALC_FLR.1
    • cc_version: PP conformant plus product specific extensions Common Criteria Part 2 extended
    • cert_id: BSI-DSZ-CC-1072-V2-2019
    • cert_item: NXP Secure Smart Card Controller P6021y VB* including IC Dedicated Software
    • cert_lab: BSI
    • developer: NXP Semiconductors Germany GmbH
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
    • ref_protection_profiles: Security IC Platform Protection Profile with Augmentation Packages Version 1.0, 13 January 2014, BSI-CC-PP-0084-2014
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177-2025: 12
  • DE:
    • BSI-DSZ-CC-1072-2018: 2
    • BSI-DSZ-CC-1072-V2-2019: 18
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0084-2014: 4
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 2: 3
    • EAL 4: 5
    • EAL 4 augmented: 3
  • EAL:
    • EAL 1: 1
    • EAL 2: 2
    • EAL 2+: 1
    • EAL 4: 1
    • EAL 5: 4
    • EAL 5+: 1
    • EAL 6: 5
    • EAL 6 augmented: 3
pdf_data/report_keywords/cc_sar
  • ALC:
    • ALC_FLR: 3
    • ALC_FLR.3: 4
  • ALC:
    • ALC_CMC.5: 1
    • ALC_CMS.5: 1
    • ALC_DEL.1: 1
    • ALC_DVS.2: 1
    • ALC_FLR: 3
    • ALC_FLR.1: 4
    • ALC_LCD.1: 1
    • ALC_TAT.3: 1
  • ASE:
    • ASE_TSS.2: 4
pdf_data/report_keywords/cc_claims
  • OE:
    • OE.HARDWARE: 1
    • OE.NOEVIL: 1
    • OE.PHYSICAL: 1
  • O:
    • O.C: 5
  • R:
    • R.O: 5
pdf_data/report_keywords/vendor
  • NXP:
    • NXP: 1
  • NXP:
    • NXP: 28
    • NXP Semiconductors: 26
pdf_data/report_keywords/eval_facility
  • atsec:
    • atsec: 3
  • TUV:
    • TÜV Informationstechnik: 5
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 7
  • DES:
    • 3DES:
      • TDEA: 1
      • TDES: 1
      • Triple-DES: 3
    • DES:
      • DES: 4
pdf_data/report_keywords/randomness
  • RNG:
    • RNG: 4
  • TRNG:
    • TRNG: 2
pdf_data/report_keywords/cipher_mode
  • ECB:
    • ECB: 5
pdf_data/report_keywords/crypto_engine
  • SmartMX:
    • SmartMX2: 8
pdf_data/report_keywords/side_channel_analysis
  • FI:
    • physical tampering: 1
  • SCA:
    • physical probing: 1
  • other:
    • JIL: 4
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 1
  • BSI:
    • BSI 7148: 1
    • BSI TR-02102: 1
pdf_data/report_keywords/standard_id
  • BSI:
    • AIS 1: 1
    • AIS 14: 1
    • AIS 19: 1
    • AIS 23: 1
    • AIS 32: 1
  • ISO:
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
  • BSI:
    • AIS 1: 1
    • AIS 25: 2
    • AIS 26: 1
    • AIS 31: 3
    • AIS 32: 1
    • AIS 34: 2
    • AIS 35: 2
    • AIS 36: 2
    • AIS 37: 1
    • AIS 38: 1
    • AIS 47: 1
    • AIS31: 2
    • AIS39: 1
    • AIS46: 1
  • ISO:
    • ISO/IEC 14443: 4
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
    • ISO/IEC 7816: 2
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • 7] Final Evaluation Technical Report, Version 2, 2025-02-04, atsec information security GmbH, (confidential document) 7 specifically • AIS 1 Anforderungen an Aufbau und Inhalt von Einzelprüfberichten für Evaluationen: 1
    • Separation Kernel CC, Version 1.0.1 Konfigurationsliste, Version 1.0, 2024-11-18, Kernkonzept GmbH (confidential document) [9] L4Re Secure Boot Guidance, 2022-10-07, Kernkonzept GmbH [10] L4Re Configuration Guidance: 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
  • ConfidentialDocument:
    • Card Controller P6021y VB Evaluation Reference List, Version 2.02, 2019-04-05, NXP Semiconductors (confidential document) [19] Evaluation Technical Report for Composite Evaluation Addendum (ETR-COMP- ADD: 1
    • Evaluation (ETR COMP) for the P6021y VB, version 3, 2018-05-07, TÜV Informationstechnik GmbH (confidential document) [11] SmartMX2 family P6021y VB Secure high-performance smart card controller, Objective data sheet: 1
    • GmbH , (confidential document) [8] Security IC Platform Protection Profile with Augmentation Packages Version 1.0, 13 January: 1
    • Smart Card Controller P6021y VB – Security Target, Version 1.8, 2018-11-21, NXP Semiconductors (confidential document) [7] Evaluation Technical Report BSI-DSZ-CC-1072-V2-2019, Version 2, 2019-04-29, TÜV: 1
    • Version 2, 2019-04-29, TÜV Informationstechnik GmbH (confidential document) • AIS 38, Version 2, Reuse of evaluation results • AIS39, Formal Method, Version 3.0, 24.10.2008 •: 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
pdf_data/report_metadata
pdf_data/st_filename 1177b_pdf.pdf 1072V2b_pdf.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177: 2
  • DE:
    • BSI-DSZ-CC-1072: 1
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-PP-0084-2014: 2
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 1
    • EAL4: 2
  • EAL:
    • EAL4: 1
    • EAL4 augmented: 1
    • EAL4+: 2
    • EAL6: 44
    • EAL6 augmented: 5
    • EAL6+: 11
pdf_data/st_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.4: 1
    • ADV_IMP.1: 1
    • ADV_TDS.3: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.4: 1
    • ALC_DEL.1: 1
    • ALC_DVS.1: 1
    • ALC_FLR.3: 6
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
  • 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: 1
    • ATE_DPT.1: 1
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.3: 1
  • ADV:
    • ADV_ARC: 1
    • ADV_ARC.1: 1
    • ADV_FSP: 3
    • ADV_FSP.4: 3
    • ADV_FSP.5: 11
    • ADV_IMP: 1
    • ADV_IMP.2: 3
    • ADV_INT.3: 1
    • ADV_SPM: 2
    • ADV_SPM.1: 1
    • ADV_TDS.5: 1
  • AGD:
    • AGD_OPE: 1
    • AGD_OPE.1: 1
    • AGD_PRE: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC: 3
    • ALC_CMC.4: 3
    • ALC_CMC.5: 4
    • ALC_CMS: 3
    • ALC_CMS.4: 3
    • ALC_CMS.5: 5
    • ALC_DEL: 1
    • ALC_DEL.1: 1
    • ALC_DVS: 1
    • ALC_DVS.2: 1
    • ALC_FLR.1: 6
    • ALC_LCD.1: 1
    • ALC_TAT.3: 1
  • 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.2: 6
  • ATE:
    • ATE_COV: 1
    • ATE_COV.3: 3
    • ATE_DPT.3: 1
    • ATE_FUN.2: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN: 1
    • AVA_VAN.5: 2
pdf_data/st_keywords/cc_sfr
  • FDP:
    • FDP_ACC: 30
    • FDP_ACC.1: 4
    • FDP_ACC.2: 8
    • FDP_ACF: 30
    • FDP_ACF.1: 20
    • FDP_IFC.2: 7
    • FDP_IFC.2.1: 1
    • FDP_IFC.2.2: 1
    • FDP_IFF.1: 6
    • 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.1: 5
    • FDP_RIP.1.1: 1
  • FIA:
    • FIA_UID.2: 6
    • FIA_UID.2.1: 1
  • FMT:
    • FMT_MSA: 39
    • FMT_MSA.1: 5
    • FMT_MSA.3: 15
    • FMT_MTD: 5
    • FMT_MTD.1: 1
    • FMT_SMF: 1
    • FMT_SMF.1: 5
    • FMT_SMF.1.1: 1
    • FMT_SMR: 6
    • FMT_SMR.1: 6
  • FPR:
    • FPR_UNO.1: 5
    • FPR_UNO.1.1: 1
  • FAU:
    • FAU_SAS.1: 7
    • FAU_SAS.1.1: 1
  • FCS:
    • FCS_CKM.1: 17
    • FCS_CKM.1.1: 1
    • FCS_CKM.2: 2
    • FCS_CKM.4: 46
    • FCS_CKM.4.1: 3
    • FCS_COP.1: 45
    • FCS_COP.1.1: 4
    • FCS_RNG.1: 8
    • FCS_RNG.1.1: 3
    • FCS_RNG.1.2: 2
  • FDP:
    • FDP_ACC.1: 37
    • FDP_ACC.1.1: 2
    • FDP_ACF.1: 34
    • FDP_ACF.1.1: 2
    • FDP_ACF.1.2: 2
    • FDP_ACF.1.3: 2
    • FDP_ACF.1.4: 2
    • FDP_IFC.1: 10
    • FDP_ITC.1: 14
    • FDP_ITC.2: 16
    • FDP_ITT.1: 6
    • FDP_ROL.1: 1
    • FDP_SDC.1: 16
    • FDP_SDC.1.1: 2
    • FDP_SDI.1: 5
    • FDP_SDI.2: 36
    • FDP_SDI.2.1: 5
    • FDP_SDI.2.2: 5
  • FIA:
    • FIA_UAU.2: 2
    • FIA_UAU.5: 2
    • FIA_UID.2: 2
  • FMT:
    • FMT_LIM.1: 3
    • FMT_LIM.2: 4
    • FMT_MSA.1: 28
    • FMT_MSA.1.1: 2
    • FMT_MSA.3: 24
    • FMT_MSA.3.1: 2
    • FMT_MSA.3.2: 2
    • FMT_SMF.1: 22
    • FMT_SMF.1.1: 1
    • FMT_SMR.1: 7
  • FPT:
    • FPT_FLS.1: 8
    • FPT_ITT.1: 6
    • FPT_PHP.3: 8
    • FPT_RPL.1: 2
    • FPT_TDC.1: 2
  • FRU:
    • FRU_FLT.2: 8
  • FTP:
    • FTP_TRP.1: 2
pdf_data/st_keywords/cc_claims
  • A:
    • A.ENVIRONMENT: 2
    • A.NOEVIL: 2
    • A.PHYSICAL: 2
  • O:
    • O.AVAILABILITY: 11
    • O.CONFIDENTIALITY: 19
    • O.INTEGRITY: 5
  • OE:
    • OE.HARDWARE: 2
    • OE.NOEVIL: 2
    • OE.PHYSICAL: 2
  • T:
    • T.DEPLETION: 2
    • T.DISCLOSURE: 2
    • T.MODIFICATION: 2
  • O:
    • O.AES: 7
    • O.CUST_RECONF_PLAIN: 6
    • O.EEPROM_INTEGRITY: 5
    • O.FM_FW: 9
    • O.MEM_ACCESS: 10
    • O.PUF: 6
    • O.RND: 3
    • O.SFR_: 1
    • O.SFR_ACCESS: 8
    • O.TDES: 7
  • T:
    • T.RND: 2
pdf_data/st_keywords/vendor
  • NXP:
    • NXP: 1
  • NXP:
    • NXP: 204
    • NXP Semiconductors: 36
    • NXP Semiconductors N.V: 1
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 82
  • DES:
    • 3DES:
      • TDEA: 1
      • TDES: 45
      • Triple-DES: 19
    • DES:
      • DEA: 1
      • DES: 8
  • constructions:
    • MAC:
      • CBC-MAC: 2
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 2
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 8
pdf_data/st_keywords/crypto_protocol
  • VPN:
    • VPN: 1
pdf_data/st_keywords/randomness
  • RNG:
    • RND: 5
    • RNG: 14
  • TRNG:
    • TRNG: 1
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 4
  • ECB:
    • ECB: 6
pdf_data/st_keywords/crypto_engine
  • SmartMX:
    • SmartMX: 1
    • SmartMX2: 11
pdf_data/st_keywords/side_channel_analysis
  • SCA:
    • side channels: 3
  • FI:
    • Malfunction: 10
    • fault injection: 2
    • malfunction: 2
    • physical tampering: 1
  • SCA:
    • DPA: 2
    • Leak-Inherent: 11
    • Physical Probing: 2
    • physical probing: 1
    • side channel: 1
    • timing attacks: 2
pdf_data/st_keywords/standard_id
  • BSI:
    • AIS31: 2
  • CC:
    • CCMB-2017-04-001: 2
    • CCMB-2017-04-002: 2
    • CCMB-2017-04-003: 2
    • CCMB-2017-04-004: 2
  • FIPS:
    • FIPS 197: 3
    • FIPS PUB 197: 2
  • ISO:
    • ISO/IEC 14443: 20
    • ISO/IEC 18092: 2
    • ISO/IEC 7816: 24
    • ISO/IEC 9797-1: 1
  • NIST:
    • NIST SP 800-38A: 3
    • NIST SP 800-67: 4
pdf_data/st_metadata
  • /Author: Kernkonzept GmbH
  • /Keywords: L4Re Operating System Framework, L4Re Hypervisor, Microkernel, Operating system
  • /Subject: L4Re SSK
  • /Title: Security Target for L4Re Secure Separation Kernel CC 1.0.1
  • pdf_file_size_bytes: 621521
  • pdf_hyperlinks: https://l4re.org/doc/group__l4__icu__api.html
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 61
  • /Author: NXP B.V.
  • /CreationDate: D:20190122162315Z
  • /Creator: DITA Open Toolkit
  • /Keywords: CC Security Evaluation, Security Target Lite, Functional Requirements, Security Functionality, Assurance Level 5+/6+, P6021y VB, P6021P VB, P6021M VB, P6021D VB, P6021J VB
  • /Producer: Apache FOP Version 1.1
  • /Subject: NXP Secure Smart Card Controller P6021y VB
  • /Title: Security Target Lite
  • pdf_file_size_bytes: 727734
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 97
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