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.
Sensor for digital tachograph LESIKAR TACH2
CSEC2015001 		PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0
BSI-DSZ-CC-1185-2023
name Sensor for digital tachograph LESIKAR TACH2 PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0
category Other Devices and Systems Operating Systems
scheme SE DE
status archived active
not_valid_after 01.07.2021 17.09.2028
not_valid_before 01.07.2016 18.09.2023
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/lesikar%20sogis.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1185c_pdf.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/Certification%20Report%20Lesikar%20TACH%202.pdf(312939)_TMP.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1185a_pdf.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/ST%20Lesikar%20TACH2_v2.5%20final.pdf(312817)_TMP.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1185b_pdf.pdf
manufacturer Lesikar a.s. SYSGO GmbH
manufacturer_web https://www.lesikar.eu/ https://www.SYSGO.com
security_level EAL4, AVA_VAN.5, ATE_DPT.2 AVA_VAN.5, EAL5, ADV_IMP.2, ALC_CMC.5, ALC_DVS.2, ALC_FLR.3
dgst b88d9470f40ce15f 34fd0553bb4a99ab
heuristics/cert_id CSEC2015001 BSI-DSZ-CC-1185-2023
heuristics/cert_lab [] BSI
heuristics/extracted_sars ADV_ARC.1, AGD_OPE.1, ATE_COV.2, AGD_PRE.1, ALC_DEL.1, ADV_TDS.3, ASE_SPD.1, ALC_LCD.1, ASE_OBJ.2, ASE_REQ.2, AVA_VAN.5, ATE_FUN.1, ASE_TSS.1, ALC_CMS.4, ALC_DVS.1, ATE_IND.2, ALC_CMC.4, ASE_CCL.1, ATE_DPT.2, ASE_ECD.1, ADV_IMP.1, ASE_INT.1, ALC_TAT.1, ADV_FSP.4 ALC_CMC.5, ATE_DPT.1, ALC_FLR.3, AGD_PRE.1, ADV_INT.2, ADV_TDS.3, ALC_TAT.1, ADV_ARC.1, ALC_CMS.5, ADV_IMP.2, ALC_DVS.2, ALC_LCD.1, ADV_FSP.4, AGD_OPE.1, AVA_VAN.5
heuristics/extracted_versions - 5.1.3, 3.1.0
heuristics/report_references/directly_referencing {} BSI-DSZ-CC-1146-2022
heuristics/report_references/indirectly_referencing {} BSI-DSZ-CC-1146-2022
pdf_data/cert_filename lesikar sogis.pdf 1185c_pdf.pdf
pdf_data/cert_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1185-2023: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL4: 1
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 5: 2
    • EAL 5 augmented: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.1: 1
  • ATE:
    • ATE_DPT.2: 1
  • AVA:
    • AVA_VAN.4: 1
  • ADV:
    • ADV_IMP.2: 1
  • ALC:
    • ALC_CMC.5: 1
    • ALC_DVS.2: 1
    • ALC_FLR: 1
    • ALC_FLR.3: 1
  • AVA:
    • AVA_VAN.5: 1
pdf_data/cert_keywords/vendor
  • NXP:
    • NXP: 1
pdf_data/cert_keywords/eval_facility
  • Combitech:
    • Combitech AB: 1
pdf_data/cert_keywords/standard_id
  • ISO:
    • ISO/IEC 15408: 2
    • ISO/IEC 18045: 2
pdf_data/cert_metadata
  • /CreationDate: D:20170322112233+01'00'
  • /ModDate: D:20230313133415+01'00'
  • pdf_file_size_bytes: 248612
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
  • /Author: Bundesamt für Sicherheit in der Informationstechnik
  • /Keywords: "Common Criteria, Certification, Zertifizierung, SYSGO SAS, PikeOS, Separation Kernel"
  • /Subject: Common Criteria, Certification, Zertifizierung, SYSGO SAS, PikeOS, Separation Kernel
  • /Title: Certificate BSI-DSZ-CC-1185-2023
  • pdf_file_size_bytes: 337655
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
pdf_data/report_filename Certification Report Lesikar TACH 2.pdf(312939)_TMP.pdf 1185a_pdf.pdf
pdf_data/report_frontpage
  • DE:
  • DE:
    • cc_security_level: Common Criteria Part 3 conformant EAL 5 augmented by ADV_IMP.2, ALC_CMC.5, ALC_DVS.2, ALC_FLR.3, AVA_VAN.5 valid until: 17 September 2028
    • cc_version: Product specific Security Target Common Criteria Part 2 conformant
    • cert_id: BSI-DSZ-CC-1185-2023
    • cert_item: PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0
    • cert_lab: BSI
    • developer: SYSGO GmbH
    • match_rules: ['(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)']
    • ref_protection_profiles: None
pdf_data/report_keywords/cc_cert_id
  • SE:
    • CSEC2015001: 1
  • DE:
    • BSI-DSZ-CC-1146-2022: 2
    • BSI-DSZ-CC-1185-2023: 15
  • NL:
    • CC-1146-2022: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL4: 1
    • EAL4+: 1
  • EAL:
    • EAL 1: 1
    • EAL 2: 3
    • EAL 4: 4
    • EAL 5: 7
    • EAL 5 augmented: 3
    • EAL 5+: 1
    • EAL 6: 1
pdf_data/report_keywords/cc_sar
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.4: 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_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.2: 5
    • ATE_FUN.1: 1
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.4: 5
  • ADV:
    • ADV_FSP.5: 1
    • ADV_IMP.2: 5
    • ADV_INT.2: 1
    • ADV_TDS.4: 1
  • ALC:
    • ALC_CMC.5: 5
    • ALC_CMS.5: 1
    • ALC_DVS.2: 5
    • ALC_FLR: 3
    • ALC_FLR.3: 5
    • ALC_TAT.2: 1
  • ATE:
    • ATE_COV: 1
    • ATE_DPT: 1
    • ATE_DPT.3: 1
    • ATE_IND: 1
  • AVA:
    • AVA_VAN.5: 5
pdf_data/report_keywords/cc_claims
  • OE:
    • OE.EXCLUSIVE_RESOURCES: 1
    • OE.HARDWARE: 1
    • OE.PHYSICAL: 1
    • OE.PRIVILEGED_EXECUTABLES: 1
    • OE.TRUSTWORTHY_PERSONNEL: 1
pdf_data/report_keywords/vendor
  • NXP:
    • NXP: 11
pdf_data/report_keywords/eval_facility
  • Combitech:
    • Combitech AB: 4
  • atsec:
    • atsec: 3
pdf_data/report_keywords/hash_function
  • SHA:
    • SHA2:
      • SHA-256: 1
pdf_data/report_keywords/side_channel_analysis
  • FI:
    • Physical tampering: 1
    • physical tampering: 2
  • SCA:
    • DPA: 2
    • SPA: 2
    • side channel: 1
    • side-channel: 1
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 1
pdf_data/report_keywords/tee_name
  • AMD:
    • PSP: 8
pdf_data/report_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 1
    • CCMB-2012-09-002: 1
    • CCMB-2012-09-003: 1
  • ISO:
    • ISO/IEC 17025: 2
  • BSI:
    • AIS 32: 1
    • AIS 34: 2
    • AIS 38: 1
  • ISO:
    • ISO/IEC 15408: 4
    • ISO/IEC 17065: 2
    • ISO/IEC 18045: 4
pdf_data/report_keywords/certification_process
  • ConfidentialDocument:
    • Report, Version 4, 2023-08-30, Final Evaluation Technical Report, atsec information security GmbH, (confidential document) [8] Configuration list for the TOE (Master Document List), 2023-07-27, 20069-0000- MDL.xlsx, Sysgo: 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
    • confidential document) [9] Guidance documentation for the TOE, see table 2 in chapter 2 7 specifically • AIS 32, Version: 1
pdf_data/report_metadata
  • /Author: Imre Juhász
  • /CreationDate: D:20160701125201+02'00'
  • /Creator: Microsoft® Word 2010
  • /ModDate: D:20160825084427+02'00'
  • /Producer: Microsoft® Word 2010
  • /Subject: 15FMV443-
  • /Title: Certification Report Lesikar TACH 2
  • pdf_file_size_bytes: 287750
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 20
pdf_data/st_filename ST Lesikar TACH2_v2.5 final.pdf(312817)_TMP.pdf 1185b_pdf.pdf
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL4: 6
    • EAL4 augmented: 3
    • EAL4+: 2
  • ITSEC:
    • ITSEC E3: 1
  • EAL:
    • EAL 5: 5
    • EAL 5 augmented: 2
    • EAL 5+: 1
    • EAL5: 3
pdf_data/st_keywords/cc_sar
  • 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: 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: 7
    • ATE_FUN.1: 2
    • ATE_IND.2: 1
  • AVA:
    • AVA_VAN.4: 8
    • AVA_VAN.5: 1
  • ADV:
    • ADV_ARC.1: 1
    • ADV_FSP.4: 1
    • ADV_IMP.1: 1
    • ADV_IMP.2: 4
    • ADV_TDS.3: 1
  • AGD:
    • AGD_OPE.1: 1
    • AGD_PRE.1: 1
  • ALC:
    • ALC_CMC.5: 4
    • ALC_DVS.2: 5
    • ALC_FLR.3: 4
    • ALC_LCD.1: 1
    • ALC_TAT.1: 1
  • ATE:
    • ATE_DPT.1: 1
  • AVA:
    • AVA_VAN.5: 4
pdf_data/st_keywords/cc_sfr
  • FAU:
    • FAU_GEN: 1
    • FAU_GEN.1: 11
    • FAU_GEN.1.1: 1
    • FAU_GEN.1.2: 1
  • FCS:
    • FCS_CKM: 32
    • FCS_CKM.1: 5
    • FCS_CKM.2: 1
    • FCS_CKM.4: 19
    • FCS_CKM.4.1: 1
    • FCS_COP: 23
    • FCS_COP.1: 1
  • FDP:
    • FDP_ACC: 1
    • FDP_ACC.1: 5
    • FDP_ACC.2: 13
    • FDP_ACC.2.1: 1
    • FDP_ACC.2.2: 1
    • FDP_ACF: 1
    • FDP_ACF.1: 8
    • FDP_ACF.1.1: 1
    • FDP_ACF.1.2: 1
    • FDP_ACF.1.3: 1
    • FDP_ACF.1.4: 1
    • FDP_AFL.1: 2
    • FDP_ETC: 1
    • FDP_ETC.1: 10
    • FDP_ETC.1.1: 1
    • FDP_ETC.1.2: 1
    • FDP_IFC: 41
    • FDP_IFC.1: 6
    • FDP_IFF: 44
    • FDP_IFF.1: 2
    • FDP_ITC: 1
    • FDP_ITC.1: 26
    • FDP_ITC.1.1: 1
    • FDP_ITC.1.2: 1
    • FDP_ITC.1.3: 1
    • FDP_ITC.2: 5
    • FDP_SDI: 1
    • FDP_SDI.1: 13
    • FDP_SDI.1.1: 1
    • FDP_UIT: 20
  • FIA:
    • FIA_AFL: 1
    • FIA_AFL.1: 12
    • FIA_AFL.1.1: 1
    • FIA_AFL.1.2: 1
    • FIA_UAU: 2
    • FIA_UAU.2: 13
    • FIA_UAU.2.1: 1
    • FIA_UAU.3: 15
    • FIA_UAU.3.1: 1
    • FIA_UAU.3.2: 1
    • FIA_UID: 1
    • FIA_UID.1: 1
    • FIA_UID.2: 16
    • FIA_UID.2.1: 1
  • FMT:
    • FMT_MSA.3: 8
  • FPT:
    • FPT_FLS: 1
    • FPT_FLS.1: 9
    • FPT_FLS.1.1: 1
    • FPT_PHP.1: 10
    • FPT_PHP.1.1: 1
    • FPT_PHP.1.2: 1
    • FPT_PHP.3: 7
    • FPT_PHP.3.1: 1
    • FPT_STM.1: 3
    • FPT_TST: 1
    • FPT_TST.1: 15
    • FPT_TST.1.1: 1
    • FPT_TST.1.2: 1
    • FPT_TST.1.3: 1
  • FTP:
    • FTP_ITC: 1
    • FTP_ITC.1: 11
    • FTP_ITC.1.1: 1
    • FTP_ITC.1.2: 1
    • FTP_ITC.1.3: 1
    • FTP_TRP.1: 2
  • FDP:
    • FDP_ACC: 32
    • FDP_ACC.2: 12
    • FDP_ACF: 34
    • FDP_ACF.1: 27
    • FDP_IFC.2: 8
    • FDP_IFF.1: 11
  • FIA:
    • FIA_UID.2: 6
  • FMT:
    • FMT_MSA.1: 6
    • FMT_MSA.3: 7
    • FMT_MSA.3.1: 2
    • FMT_MTD: 12
    • FMT_MTD.1: 3
    • FMT_SMF.1: 5
    • FMT_SMR.1: 7
  • FRU:
    • FRU_RSA: 10
    • FRU_RSA.2: 5
pdf_data/st_keywords/cc_claims
  • A:
    • A.EXCLUSIVE_RESOURCES: 4
    • A.HARDWARE: 4
    • A.PHYSICAL: 4
    • A.PRIVILEGED_EXECUTABLES: 5
    • A.TRUSTWORTHY_PERSONNEL: 4
  • OE:
    • OE.EXCLUSIVE_RESOURCES: 3
    • OE.HARDWARE: 2
    • OE.PHYSICAL: 2
    • OE.PRIVILEGED_EXECUTABLES: 3
    • OE.TRUSTWORTHY_PERSONNEL: 3
  • OT:
    • OT.API_PROTECTION: 4
    • OT.CONFIDENTIALITY: 6
    • OT.INTEGRITY: 4
    • OT.RESOURCE_AVAILABILITY: 6
  • T:
    • T.DEPLETION: 4
    • T.DISCLOSURE: 4
    • T.EXECUTION: 4
    • T.MODIFICATION: 4
pdf_data/st_keywords/vendor
  • NXP:
    • NXP: 71
pdf_data/st_keywords/symmetric_crypto
  • DES:
    • 3DES:
      • TDEA: 2
      • TDES: 5
    • DES:
      • DES: 4
pdf_data/st_keywords/side_channel_analysis
  • FI:
    • Malfunction: 1
    • physical tampering: 19
  • other:
    • JIL: 6
pdf_data/st_keywords/tee_name
  • AMD:
    • PSP: 27
pdf_data/st_keywords/standard_id
  • CC:
    • CCMB-2012-09-001: 2
    • CCMB-2012-09-002: 2
    • CCMB-2012-09-003: 2
    • CCMB-2012-09-004: 2
  • FIPS:
    • FIPS PUB 46-3: 2
pdf_data/st_keywords/certification_process
  • OutOfScope:
    • data generation and transport are performed before the operational state of the TOE and therefore out of scope (handled by assurance requirements, e.g. ALC, ADV). The confidentiality and integrity of the: 1
    • out of scope: 1
pdf_data/st_metadata
  • /Author: Daniel Poignant
  • /CreationDate: D:20160701085642+02'00'
  • /Creator: Microsoft® Word 2013
  • /ModDate: D:20160825083704+02'00'
  • /Producer: Microsoft® Word 2013
  • /Title: Security Target for Lesikar
  • pdf_file_size_bytes: 1876150
  • pdf_hyperlinks: http://dtc.jrc.ec.europa.eu/
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 70
  • /Author: Guillaume Fumaroli
  • /Keywords: operating system, separation kernel, MILS, multiple independent levels of security, virtualization, hypervisor, embedded, BSI-VS-AP-0015-2019, qualification renforcé
  • /Subject:
  • /Title: Security Target for the PikeOS Separation Kernel v5.1.3 for the NXP LS1023A/LS1043A Processor
  • pdf_file_size_bytes: 897440
  • pdf_hyperlinks: mailto:[email protected], https://www.sysgo.com, mailto:[email protected], mailto:[email protected]
  • pdf_is_encrypted: True
  • pdf_number_of_pages: 59
state/cert/convert_garbage True False
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