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
Dell Data Protection | Encryption Personal Edition Version 8.14.0
383-4-416
name L4Re Secure Separation Kernel CC Version 1.0.1 Dell Data Protection | Encryption Personal Edition Version 8.14.0
category Operating Systems Data Protection
scheme DE CA
status active archived
not_valid_after 18.02.2030 02.10.2022
not_valid_before 18.02.2025 02.10.2017
cert_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177c_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/383-4-416%20CT%20v1.0e.pdf
report_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177a_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/383-4-416%20CR%20v1.1e.pdf
st_link https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1177b_pdf.pdf https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/383-4-416%20ST%20v110.pdf
manufacturer Kernkonzept GmbH Dell, Inc.
manufacturer_web https://kernkonzept.com https://www.dell.com
security_level EAL4+, ALC_FLR.3 {}
dgst 7929b54ea442ff99 68cf468f7c971129
heuristics/cert_id BSI-DSZ-CC-1177-2025 383-4-416
heuristics/cert_lab BSI []
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 {}
heuristics/extracted_versions 1.0.1 8.14.0
heuristics/scheme_data
heuristics/protection_profiles {} 8a6f7cae2c6db05a, 1aeebf1c5963b606
protection_profile_links {} https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp_app_swfe_ep_v1.0.pdf, https://www.commoncriteriaportal.org/nfs/ccpfiles/files/ppfiles/pp_app_v1.2.pdf
pdf_data/cert_filename 1177c_pdf.pdf 383-4-416 CT v1.0e.pdf
pdf_data/cert_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177-2025: 1
  • CA:
    • 383-4-416: 1
pdf_data/cert_keywords/cc_security_level
  • EAL:
    • EAL 2: 1
    • EAL 4: 1
    • EAL 4 augmented: 1
pdf_data/cert_keywords/cc_sar
  • ALC:
    • ALC_FLR: 1
    • ALC_FLR.3: 1
pdf_data/cert_keywords/eval_facility
  • EWA:
    • EWA-Canada: 1
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
  • /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: Clark, Cory P.
  • /Company: CSEC
  • /CreationDate: D:20171003143551-04'00'
  • /Creator: Acrobat PDFMaker 11 for Word
  • /ModDate: D:20171003143552-04'00'
  • /Producer: Adobe PDF Library 11.0
  • /SourceModified: D:20171002170714
  • pdf_file_size_bytes: 203530
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 1
pdf_data/report_filename 1177a_pdf.pdf 383-4-416 CR v1.1e.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 (.*)']
  • CA:
  • DE:
  • CA:
pdf_data/report_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177-2025: 12
  • CA:
    • 383-4-416: 1
pdf_data/report_keywords/cc_security_level
  • EAL:
    • EAL 1: 1
    • EAL 2: 3
    • EAL 4: 5
    • EAL 4 augmented: 3
pdf_data/report_keywords/cc_sar
  • ALC:
    • ALC_FLR: 3
    • ALC_FLR.3: 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
  • EWA:
    • EWA-Canada: 2
pdf_data/report_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 1
pdf_data/report_keywords/pq_crypto
  • LMS:
    • LMS: 1
pdf_data/report_keywords/randomness
  • PRNG:
    • DRBG: 1
  • RNG:
    • RBG: 1
pdf_data/report_keywords/technical_report_id
  • BSI:
    • BSI 7148: 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
  • FIPS:
    • FIPS 197: 1
  • ISO:
    • ISO/IEC 17025:2005: 1
  • NIST:
    • SP 800-90A: 1
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
pdf_data/report_metadata
  • /Author: Clark, Cory P.
  • /Comments: v1.1
  • /Company: CSEC
  • /CreationDate: D:20171003143504-04'00'
  • /Creator: Acrobat PDFMaker 11 for Word
  • /ModDate: D:20171003143507-04'00'
  • /Producer: Adobe PDF Library 11.0
  • /SourceModified: D:20171003183436
  • /Title: 383-4-XXX CR v0.1
  • pdf_file_size_bytes: 236852
  • pdf_hyperlinks: mailto:[email protected]
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 16
pdf_data/st_filename 1177b_pdf.pdf 383-4-416 ST v110.pdf
pdf_data/st_keywords/cc_cert_id
  • DE:
    • BSI-DSZ-CC-1177: 2
pdf_data/st_keywords/cc_security_level
  • EAL:
    • EAL 4: 1
    • EAL4: 2
  • EAL:
    • EAL 1: 1
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_FSP: 1
  • AGD:
    • AGD_OPE: 1
    • AGD_PRE: 1
  • ALC:
    • ALC_CMC: 1
    • ALC_CMS: 1
  • ATE:
    • ATE_IND: 1
  • AVA:
    • AVA_VAN: 1
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
  • FCS:
    • FCS_CKM: 1
    • FCS_CKM.1: 4
    • FCS_CKM.1.1: 1
    • FCS_CKM_EXT.1: 6
    • FCS_CKM_EXT.1.1: 1
    • FCS_CKM_EXT.1.2: 1
    • FCS_CKM_EXT.2: 5
    • FCS_CKM_EXT.2.1: 2
    • FCS_CKM_EXT.2.2: 1
    • FCS_CKM_EXT.2.3: 1
    • FCS_CKM_EXT.4: 8
    • FCS_CKM_EXT.4.1: 1
    • FCS_COP.1: 17
    • FCS_COP.1.1: 3
    • FCS_KYC_EXT.1: 6
    • FCS_KYC_EXT.1.1: 2
    • FCS_RBG_EXT.1: 8
    • FCS_RBG_EXT.1.1: 2
    • FCS_STO_EXT.1: 6
    • FCS_STO_EXT.1.1: 2
  • FDP:
    • FDP_DAR_EXT.1: 5
    • FDP_DAR_EXT.1.1: 1
    • FDP_DEC_EXT.1: 5
    • FDP_DEC_EXT.1.1: 1
    • FDP_DEC_EXT.1.2: 1
    • FDP_NET_EXT.1: 4
    • FDP_NET_EXT.1.1: 1
    • FDP_PRT_EXT.1: 7
    • FDP_PRT_EXT.1.1: 1
    • FDP_PRT_EXT.1.2: 2
    • FDP_PRT_EXT.2: 1
  • FIA:
    • FIA_AUT_EXT.1: 5
    • FIA_AUT_EXT.1.1: 1
  • FMT:
    • FMT_CFG_EXT.1: 5
    • FMT_CFG_EXT.1.1: 1
    • FMT_CFG_EXT.1.2: 1
    • FMT_MEC_EXT.1: 6
    • FMT_MEC_EXT.1.1: 2
    • FMT_SMF.1: 7
    • FMT_SMF.1.1: 2
  • FPR:
    • FPR_ANO_EXT.1: 5
    • FPR_ANO_EXT.1.1: 1
  • FPT:
    • FPT_AEX_EXT.1: 5
    • FPT_AEX_EXT.1.1: 1
    • FPT_AEX_EXT.1.2: 1
    • FPT_AEX_EXT.1.3: 2
    • FPT_AEX_EXT.1.4: 1
    • FPT_AEX_EXT.1.5: 1
    • FPT_API_EXT.1: 5
    • FPT_API_EXT.1.1: 1
    • FPT_FEK_EXT: 1
    • FPT_FEK_EXT.1: 5
    • FPT_FEK_EXT.1.1: 1
    • FPT_KYP_EXT: 3
    • FPT_KYP_EXT.1: 5
    • FPT_KYP_EXT.1.1: 2
    • FPT_LIB_EXT.1: 5
    • FPT_LIB_EXT.1.1: 1
    • FPT_TUD_EXT.1: 5
    • FPT_TUD_EXT.1.1: 1
    • FPT_TUD_EXT.1.2: 1
    • FPT_TUD_EXT.1.3: 1
    • FPT_TUD_EXT.1.4: 1
    • FPT_TUD_EXT.1.5: 2
    • FPT_TUD_EXT.1.6: 1
  • FTP:
    • FTP_DIT_EXT.1: 4
    • FTP_DIT_EXT.1.1: 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
  • A:
    • A.AUTHORIZED_CONFIGUR: 1
    • A.AUTHORIZED_USER: 1
    • A.AUTH_FACTOR: 1
    • A.EXTERNAL_FEK_PROTECT: 1
    • A.FILE_INTEGRITY: 1
    • A.KEK_SECURITY: 1
    • A.PLATFORM: 3
    • A.PLATFORM_STATE: 1
    • A.PROPER_ADMIN: 3
    • A.PROPER_USER: 3
    • A.SHUTDOWN: 2
    • A.STRONG_OE_CRYPTO: 1
  • O:
    • O.AUTHORIZATION: 2
    • O.CORRECT_TSF_OPERATION: 1
    • O.DATA_AUTHENTICATION: 2
    • O.FEK_SECURITY: 2
    • O.INTEGRITY: 1
    • O.KEY_MATERIAL_PROTECTION: 2
    • O.MANAGE: 1
    • O.MANAGEMENT: 1
    • O.PROTECTED_STORAGE: 3
    • O.PROTECT_DATA: 2
    • O.QUALITY: 3
    • O.SAFE_AUTHFACTOR_VERIFICATION: 1
    • O.WIPE_MEMORY: 2
  • OE:
    • OE.AUTHORIZATION_FACTOR_STRENGTH: 1
    • OE.PLATFORM: 3
    • OE.POWER_SAVE: 1
    • OE.PROPER_ADMIN: 3
    • OE.PROPER_USER: 3
    • OE.STRONG_ENVIRONMENT_: 1
    • OE.TRAINED_USERS: 1
  • T:
    • T.KEYING_MATERIAL_COMPROMISE: 2
    • T.KEYSPACE_EXHAUST: 2
    • T.LOCAL_ATTACK: 2
    • T.PHYSICAL_ACCESS: 2
    • T.PLAINTEXT_COMPROMISE: 2
    • T.PLAINTEXT_DATA_SPOOFING: 2
    • T.TSF_FAILURE: 2
    • T.UNAUTHORIZED_DATA_ACCESS: 2
    • T.UNSAFE_AUTHFACTOR_VERIFICATION: 2
pdf_data/st_keywords/vendor
  • NXP:
    • NXP: 1
  • Microsoft:
    • Microsoft: 14
pdf_data/st_keywords/symmetric_crypto
  • AES_competition:
    • AES:
      • AES: 14
      • AES-: 1
      • AES-256: 1
  • constructions:
    • MAC:
      • HMAC: 1
pdf_data/st_keywords/asymmetric_crypto
  • ECC:
    • ECC:
      • ECC: 3
pdf_data/st_keywords/pq_crypto
  • LMS:
    • LMS: 10
pdf_data/st_keywords/hash_function
  • PBKDF:
    • PBKDF: 1
pdf_data/st_keywords/crypto_protocol
  • VPN:
    • VPN: 1
pdf_data/st_keywords/randomness
  • PRNG:
    • DRBG: 8
    • PRNG: 1
  • RNG:
    • RBG: 3
pdf_data/st_keywords/cipher_mode
  • CBC:
    • CBC: 2
  • GCM:
    • GCM: 5
  • XTS:
    • XTS: 1
pdf_data/st_keywords/side_channel_analysis
  • SCA:
    • side channels: 3
pdf_data/st_keywords/standard_id
  • FIPS:
    • FIPS PUB 197: 1
  • NIST:
    • NIST SP 800-38A: 2
    • NIST SP 800-38D: 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: ccantlon
  • /CreationDate: D:20171002121228-04'00'
  • /Creator: PDFCreator Version 1.1.0
  • /Keywords:
  • /ModDate: D:20171003093949-04'00'
  • /Producer: GPL Ghostscript 9.0
  • /Subject:
  • /Title: Dell DDPE NRPE ST v110
  • pdf_file_size_bytes: 234083
  • pdf_hyperlinks: {}
  • pdf_is_encrypted: False
  • pdf_number_of_pages: 42
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