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
Sensor 2185 (KITAS 4.0) Release 1.0, configuration options 2185.20 and 2185.32
BSI-DSZ-CC-1111-2019
name L4Re Secure Separation Kernel CC Version 1.0.1 Sensor 2185 (KITAS 4.0) Release 1.0, configuration options 2185.20 and 2185.32
category Operating Systems Other Devices and Systems
status active archived
not_valid_after 18.02.2030 03.04.2024
not_valid_before 18.02.2025 03.04.2019
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177c_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1111c_pdf.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177a_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1111a_pdf.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177b_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1111b_pdf.pdf
manufacturer Kernkonzept GmbH Continental Automotive GmbH
manufacturer_web https://kernkonzept.com https://www.continental-corporation.com
security_level EAL4+, ALC_FLR.3 EAL4+, ATE_DPT.2, AVA_VAN.5
dgst 7929b54ea442ff99 0971761e032b0804
heuristics/cert_id BSI-DSZ-CC-1177-2025 BSI-DSZ-CC-1111-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 ADV_TDS.3, ASE_CCL.1, ATE_FUN.1, ASE_OBJ.2, AVA_VAN.5, ASE_INT.1, ALC_CMC.4, ASE_REQ.2, AGD_PRE.1, ATE_IND.2, ASE_ECD.1, ADV_IMP.1, ALC_LCD.1, ATE_DPT.2, 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
heuristics/extracted_versions 1.0.1 1.0, 2185.20, 2185.32, 4.0
heuristics/report_references/directly_referenced_by {} BSI-DSZ-CC-1131-2020
heuristics/report_references/directly_referencing {} ANSSI-CC-2017/73, BSI-DSZ-CC-1070-2018
heuristics/report_references/indirectly_referenced_by {} BSI-DSZ-CC-1131-V2-2023, BSI-DSZ-CC-1131-2020
heuristics/report_references/indirectly_referencing {} ANSSI-CC-2017/73, ANSSI-CC-2015/80, ANSSI-CC-2017/02, BSI-DSZ-CC-1070-2018, ANSSI-CC-2016/33, ANSSI-CC-2015/36, ANSSI-CC-2014/46
heuristics/scheme_data
heuristics/protection_profiles {} 6c86fb8f2b708f67
protection_profile_links {} https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp0093b_pdf.pdf
pdf_data/cert_filename 1177c_pdf.pdf 1111c_pdf.pdf
pdf_data/cert_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177-2025: 1
  • DE:
    • BSI-DSZ-CC-1111-2019: 1
pdf_data/cert_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0093-2017: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
    • EAL 5: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
  • ATE:
    • ATE_DPT.2: 1
  • AVA:
    • AVA_VAN.5: 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:20190409125731+02'00'
  • /Creator: Writer
  • /Keywords: Common Criteria, Certification, Zertifizierung, tachograph, motion sensor, sensor 2185, KITAS 4.0, Continental, digital tachograph 2nd generation
  • /ModDate: D:20190409125911+02'00'
  • /Producer: LibreOffice 5.2
  • /Subject: Common Criteria Certification
  • /Title: Certificate BSI-DSZ-CC-1111-2019
  • pdf_file_size_bytes: 411221
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
pdf_data/report_filename 1177a_pdf.pdf 1111a_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 4 augmented by ATE_DPT.2 and AVA_VAN.5
    • cc_version: PP conformant Common Criteria Part 2 conformant
    • cert_id: BSI-DSZ-CC-1111-2019
    • cert_item: Sensor 2185 (KITAS 4.0) Release 1.0, configuration options 2185.20 and 2185.32
    • cert_lab: BSI
    • developer: Continental Automotive GmbH
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
    • ref_protection_profiles: Digital Tachograph - Motion Sensor (MS PP) Version1.0, 9 May 2017, BSI-CC-PP-0093-2017
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177-2025: 12
  • DE:
    • BSI-DSZ-CC-1070-2018: 2
    • BSI-DSZ-CC-1111-2019: 15
  • FR:
    • ANSSI-CC-2017/73: 1
pdf_data/report_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP- 0093-2017: 1
    • BSI-CC-PP-0093-2017: 3
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: 5
    • EAL 4 augmented: 3
    • EAL 5: 4
    • EAL 5+: 1
    • EAL 6: 1
    • EAL4+: 1
pdf_data/report_keywords/cc_sar
  • ALC:
    • ALC_FLR: 3
    • ALC_FLR.3: 4
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.4: 1
    • ALC_DEL.1: 1
    • ALC_DVS.1: 1
    • ALC_FLR: 2
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
  • ATE:
    • ATE_DPT.2: 4
  • AVA:
    • AVA_VAN.5: 4
pdf_data/report_keywords/cc_claims
  • OE:
    • OE.HARDWARE: 1
    • OE.NOEVIL: 1
    • OE.PHYSICAL: 1
pdf_data/report_keywords/vendor
  • NXP:
    • NXP: 1
pdf_data/report_keywords/eval_facility
  • atsec:
    • atsec: 3
  • TSystems:
    • T-Systems International: 3
pdf_data/report_keywords/side_channel_analysis
  • other:
    • JIL: 4
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 25: 2
    • AIS 26: 2
    • AIS 32: 2
    • AIS 34: 3
    • AIS 35: 2
    • AIS 36: 2
    • AIS 38: 1
  • ISO:
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
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:
    • 1.24, 07.12.2018, Security Target Sensor 2185 (KITAS 4.0 Release1.0), Continental Automotive GmbH (confidential document) [7] Evaluation Technical Report BSI-DSZ-CC-1111-2019 for Sensor 2185 (KITAS 4.0) from Continental: 1
    • Version 1.20, 13.03.2019, T-Systems International GmbH – Prüfstelle für IT-Sicherheit, (confidential document) [8] Digital Tachograph - Motion Sensor (MS PP) Version 1.0, 9 May 2017, BSI-CC-PP- 0093-2017 [9: 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
    • of 28 February 2018 [11] Configuration list for the TOE, Continental AG, Version 1.25, 2019-03-07 (confidential document) [12] Digitaler Tachograph – DTCO 4.0, Leitfaden für die Kontrollorgane, VDO, BA00.1381.40 201 101: 1
pdf_data/report_metadata
pdf_data/st_filename 1177b_pdf.pdf 1111b_pdf.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177: 2
pdf_data/st_keywords/cc_protection_profile_id
  • BSI:
    • BSI-CC-PP-0093: 1
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 1
    • EAL4: 2
  • EAL:
    • EAL4: 16
    • EAL4 augmented: 5
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: 3
    • ADV_FSP.4: 2
    • ADV_IMP.1: 2
    • ADV_TDS.3: 3
  • AGD:
    • AGD_OPE.1: 2
    • AGD_PRE: 1
    • AGD_PRE.1: 2
  • ALC:
    • ALC_CMC.4: 1
    • ALC_CMS.4: 1
    • ALC_DEL.1: 1
    • ALC_DVS.1: 1
    • 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_DPT.2: 9
    • ATE_FUN.1: 2
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.5: 9
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_GEN: 2
    • FAU_GEN.1: 12
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
    • FAU_SAR: 2
    • FAU_SAR.1: 6
    • FAU_SAR.1.1: 1
    • FAU_SAR.1.2: 1
    • FAU_STG: 2
    • FAU_STG.1: 7
    • FAU_STG.1.1: 1
    • FAU_STG.1.2: 1
    • FAU_STG.3: 1
    • FAU_STG.4: 4
    • FAU_STG.4.1: 1
  • FCS:
    • FCS_CKM: 4
    • FCS_CKM.1: 8
    • FCS_CKM.4: 26
    • FCS_CKM.4.1: 2
    • FCS_COP: 4
    • FCS_COP.1: 18
    • FCS_COP.1.1: 2
  • FDP:
    • FDP_ACC: 2
    • FDP_ACC.1: 24
    • FDP_ACC.1.1: 2
    • FDP_ACF: 2
    • FDP_ACF.1: 14
    • FDP_ACF.1.1: 2
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_ETC: 2
    • FDP_ETC.1: 8
    • FDP_ETC.1.1: 1
    • FDP_ETC.1.2: 1
    • FDP_ETC.2: 5
    • FDP_ETC.2.1: 1
    • FDP_ETC.2.2: 1
    • FDP_ETC.2.3: 1
    • FDP_ETC.2.4: 1
    • FDP_IFC.1: 6
    • FDP_ITC: 2
    • FDP_ITC.1: 21
    • FDP_ITC.1.1: 1
    • FDP_ITC.1.2: 1
    • FDP_ITC.1.3: 1
    • FDP_ITC.2: 8
    • FDP_SDI: 2
    • FDP_SDI.1: 1
    • FDP_SDI.2: 9
    • FDP_SDI.2.1: 1
    • FDP_SDI.2.2: 1
  • FIA:
    • FIA_AFL: 2
    • FIA_AFL.1: 5
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 1
    • FIA_ATD: 2
    • FIA_ATD.1: 5
    • FIA_ATD.1.1: 1
    • FIA_UAU: 6
    • FIA_UAU.1: 6
    • FIA_UAU.2: 24
    • FIA_UAU.2.1: 2
    • FIA_UAU.3: 12
    • FIA_UAU.3.1: 1
    • FIA_UAU.3.2: 1
    • FIA_UID: 2
    • FIA_UID.1: 7
    • FIA_UID.2: 13
    • FIA_UID.2.1: 1
  • FMT:
    • FMT_MOF.1: 6
    • FMT_MSA.3: 6
  • FPR:
    • FPR_TST.1.1: 1
  • FPT:
    • FPT_DTC: 4
    • FPT_FLS: 2
    • FPT_FLS.1: 5
    • FPT_FLS.1.1: 1
    • FPT_PHP: 2
    • FPT_PHP.1: 2
    • FPT_PHP.2: 16
    • FPT_PHP.2.1: 2
    • FPT_PHP.2.2: 4
    • FPT_PHP.2.3: 8
    • FPT_PHP.3: 19
    • FPT_PHP.3.1: 2
    • FPT_STM: 2
    • FPT_STM.1: 9
    • FPT_STM.1.1: 1
    • FPT_TDC.1: 18
    • FPT_TDC.1.1: 2
    • FPT_TDC.1.2: 2
    • FPT_TST: 2
    • FPT_TST.1: 9
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FRU:
    • FRU_PRS: 2
    • FRU_PRS.1: 8
    • FRU_PRS.1.1: 1
    • FRU_PRS.1.2: 1
  • FTP:
    • FTP_ITC: 2
    • FTP_ITC.1: 7
    • FTP_ITC.1.1: 1
    • FTP_ITC.1.2: 1
    • FTP_ITC.1.3: 1
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
  • OE:
    • OE.EOL: 3
pdf_data/st_keywords/vendor
  • NXP:
    • NXP: 1
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 8
  • DES:
    • 3DES:
      • TDES: 4
      • Triple-DES: 2
    • DES:
      • DES: 3
pdf_data/st_keywords/crypto_scheme
  • MAC:
    • MAC: 1
pdf_data/st_keywords/crypto_protocol
  • VPN:
    • VPN: 1
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 6
  • ECB:
    • ECB: 1
pdf_data/st_keywords/side_channel_analysis
  • SCA:
    • side channels: 3
  • FI:
    • malfunction: 1
    • physical tampering: 19
  • other:
    • JIL: 1
    • reverse engineering: 1
pdf_data/st_keywords/standard_id
  • CC:
    • CCMB-2017-04-001: 1
    • CCMB-2017-04-002: 1
    • CCMB-2017-04-003: 1
  • FIPS:
    • FIPS PUB 197: 4
    • FIPS PUB 46-3: 5
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • Out of scope: 4
    • by the motion sensor manufacturer; stored in motion sensor at the end of the manufacturing phase Out of scope for this ST Made unavailable when the motion sensor has reached end of life. Motion sensor: 2
    • the motion sensor in operational phase AES Generated by the VU during pairing to the motion sensor Out of scope for this ST Made unavailable when the motion sensor is paired to another (or the same) vehicle unit: 1
    • the motion sensor in operational phase TDES Generated by the VU during pairing to the motion sensor Out of scope for this ST Made unavailable when the motion sensor is paired to another (or the same) vehicle unit: 1
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: Norbert Koehn, Continental Automotive GmbH
  • /Category: Security Target
  • /Company:
  • /ContentType: Document upload
  • /ContentTypeId: 0x010100793277625FD31346BB1B2E9C94506BAD
  • /CreationDate: D:20181207113013+01'00'
  • /Creator: Acrobat PDFMaker 15 for Word
  • /Document Type: Template
  • /Hard link (open): https://workspace7.conti.de/content/10000095/_layouts/HardLink.aspx?guid=b0ef8e8c-4f5b-4fb1-aa6c-9096daf1c239&vernum=1536&action=read&title=TPL_PMP_BasisTemplate_Word&verui=3.0
  • /Keywords: "Sensor 2185, KITAS 4.0, Smart Tachograph, Security Target Lite, ST-Lite"
  • /Location scope: ;#n.a.;#
  • /Lv0 Process area: Company Strategy and Business Planning
  • /Lv1 Process: Business Process Management
  • /Manager:
  • /ModDate: D:20181207113712+01'00'
  • /Organizational Scope: CVAM
  • /Producer: Adobe PDF Library 15.0
  • /SourceModified: D:20181207102555
  • /Status changed by: 12
  • /Status changed date: 1/25/2013 1:57:14 PM
  • /Subject: Security Target Lite
  • /Title: Sensor 2185 (KITAS 4.0)
  • /_Status: released
  • /display_urn:schemas-microsoft-com:office:office#Status_x0020_changed_x0020_by: Weigt, Markus
  • pdf_file_size_bytes: 638543
  • pdf_hyperlinks: http://dtc.jrc.it/
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 60
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