L4Re Secure Separation Kernel CC 1.0.2

Webpage information

Certificate ID EUCC-3087-2026-0000000003-00000
Product name L4Re Secure Separation Kernel CC 1.0.2
Scheme 🇩🇪 DE
Assurance level high
Status active

Product Specification

Type Operating System
Description
L4Re SSK is a distribution of the open-source L4Re Operating System Framework. As such it is based on the L4Re Microkernel. The L4Re Microkernel is a ...
L4Re SSK is a distribution of the open-source L4Re Operating System Framework. As such it is based on the L4Re Microkernel. The L4Re Microkernel is a 3rd-generation microkernel with a state-of-the-art capability-based mandatory access control security model.
Version 1.0.2
Package

Certificate holder

Name Kernkonzept GmbH
Address Buchenstr. 16b 01097 Dresden
Contact information [email protected]
Website https://www.kernkonzept.com/cybersecurity-information/

Certification body

Name Bundesamt für Sicherheit in der Informationstechnik, EUCC Zertifizierungsstelle
NANDO ID 3087
Address Postfach 200363\n53133 Bonn, Bonn
Contact information [email protected] Phone: +49 228 99 9582-0

Standards & Compliance

CC Version CC 3.1 Revision 5
CEM Version CEM 3.1 Revision 5
AVA_VAN level 3
Certification report reference EUCC-3087-2026-04-0003

Other

ITSEF atsec information security GmbH
Responsible NCCA Bundesamt für Sicherheit in der Informationstechnik
Protection profile None
Certification date 16.04.2026
Archived date 16.04.2031
Certificate webpage

Certificate

Extracted keywords

Security level
EAL 4+
Security Assurance Requirements (SAR)
ALC_FLR, ALC_FLR.3, AVA_VAN.3
Certificates
BSI-DSZ-CC-1177-V2-2026
Evaluation facilities
atsec

Standards
ISO/IEC 15408, ISO/IEC 18045
Title SBSI000210126042008390
Creation date D:20260420083932+01'00'
Modification date D:20260420083932+01'00'
Pages 2
Creator BSI00021016
Producer KONICA MINOLTA bizhub C308

Certification report

Extracted keywords

Vendor
NXP

Security level
EAL 2, EAL 4+
Claims
OE.HARDWARE, OE.PHYSICAL, OE.NOEVIL
Security Assurance Requirements (SAR)
ALC_FLR, ALC_FLR.3, AVA_VAN.3
Certificates
BSI-DSZ-CC-1177-V2-2026, BSI-DSZ-CC-1177-2025, BSI-DSZ-CC-1177-
Evaluation facilities
atsec

Certification process
ETR] Final Evaluation Technical Report, Version 1.1, 24.03.2026, atsec information security GmbH, (confidential document) [ConfList] L4Re Secure Separation Kernel CC 1.0.2 Konfigurationsliste, Version 1.2, 2026-01-26, GmbH (confidential document) [ConfGuide] L4Re Configuration Guidance, Version 15, 2025-11-28, Kernkonzept GmbH [DevGuide

Standards
AIS 1, AIS 14, AIS 19, AIS 23, AIS 32, AIS 38, AIS 17, ISO/IEC 15408, ISO/IEC 18045, ISO/IEC 17065
Title Certification Report EUCC-3087-2026-04-0003 ;BSI-DSZ-CC-1177-V2-2026
Keywords Common Criteria, Certification, Zertifizierung, L4Re, Kernkonzept, Mikrokernel
Creation date D:20260420085327+02'00'
Pages 18
Creator Writer
Producer LibreOffice 5.3

Frontpage

Certificate ID BSI-DSZ-CC-1177-V2-2026
Certified item L4Re Secure Separation Kernel, Version CC 1.0.2
Certification lab BSI
Developer Kernkonzept GmbH

Security target

Extracted keywords

Protocols
VPN

Vendor
NXP

Security level
EAL4, EAL 4
Claims
O.CONFIDENTIALITY, O.INTEGRITY, O.AVAILABILITY, T.DISCLOSURE, T.MODIFICATION, T.DEPLETION, A.ENVIRONMENT, A.PHYSICAL, A.NOEVIL, OE.HARDWARE, OE.PHYSICAL, OE.NOEVIL
Security Assurance Requirements (SAR)
ADV_ARC.1, ADV_FSP.4, ADV_IMP.1, ADV_TDS.3, AGD_OPE.1, AGD_PRE.1, ALC_FLR.3, ALC_CMC.4, ALC_CMS.4, ALC_DEL.1, ALC_DVS.1, ALC_LCD.1, ALC_TAT.1, ATE_COV.2, ATE_DPT.1, ATE_FUN.1, ATE_IND.2, AVA_VAN.3, ASE_CCL.1, ASE_ECD.1, ASE_INT.1, ASE_OBJ.2, ASE_REQ.2, ASE_SPD.1, ASE_TSS.1
Security Functional Requirements (SFR)
FDP_ACC, FDP_ACC.2, FDP_ACF, FDP_ACF.1, FDP_IFC.2, FDP_IFC.2.1, FDP_IFC.2.2, FDP_IFF.1, FDP_IFF.1.1, FDP_IFF.1.2, FDP_IFF.1.3, FDP_IFF.1.4, FDP_IFF.1.5, FDP_RIP.1, FDP_RIP.1.1, FDP_ACC.1, FIA_UID.2, FIA_UID.2.1, FMT_MSA, FMT_MSA.3, FMT_MTD, FMT_MTD.1, FMT_SMF.1, FMT_SMF.1.1, FMT_MSA.1, FMT_SMR, FMT_SMR.1, FMT_SMF, FPR_UNO.1, FPR_UNO.1.1
Certificates
BSI-DSZ-CC-1177-v2-2026

Side-channel analysis
side channels
Title Security Target for L4Re Secure Separation Kernel CC 1.0.2
Subject L4Re SSK
Keywords L4Re Operating System Framework, L4Re Hypervisor, Microkernel, Operating system
Author Kernkonzept GmbH
Creation date D:20260126154027+01'00'
Pages 61
Creator Writer
Producer LibreOffice 25.8.4.2 (X86_64) / LibreOffice Community

Heuristics

Automated inference - use with caution

All attributes shown in this section (e.g., links between certificates, products, vendors, and known CVEs) are generated by automated heuristics and have not been reviewed by humans. These methods can produce false positives or false negatives and should not be treated as definitive without independent verification. For details on our data sources and inference methods, see our methodology. If you believe any information here is inaccurate or harmful, please submit feedback.

Extracted SARs

ADV_ARC.1, ADV_FSP.4, ADV_IMP.1, ADV_TDS.3, AGD_OPE.1, AGD_PRE.1, ALC_CMC.4, ALC_CMS.4, ALC_DEL.1, ALC_DVS.1, ALC_FLR.3, ALC_LCD.1, ALC_TAT.1, ASE_CCL.1, ASE_ECD.1, ASE_INT.1, ASE_OBJ.2, ASE_REQ.2, ASE_SPD.1, ASE_TSS.1, ATE_COV.2, ATE_DPT.1, ATE_FUN.1, ATE_IND.2, AVA_VAN.3

Scheme data

Cert Id EUCC-3087-2026-04-0003
Product L4Re Secure Separation Kernel, Version CC 1.0.2
Vendor Kernkonzept GmbH
Certification Date 16.04.2026
Category Operating systems
Url https://www.bsi.bund.de/SharedDocs/Zertifikate_CC/CC/Betriebssysteme/1177_1177V2.html
Enhanced
Product L4Re Secure Separation Kernel, Version CC 1.0.2
Applicant Kernkonzept GmbH Buchenstraße 16 b 01097 Dresden Deutschland
Evaluation Facility atsec information security GmbH
Assurance Level EAL4+,ALC_FLR.3
Certification Date 16.04.2026
Expiration Date 15.04.2031
Entries [frozendict({'id': 'EUCC', 'description': 'L4Re SSK is configured to act as a separation kernel, to provide the security features claimed by the ST. The TOE supports native applications as well as virtual machines (VMs). Access to every resource including but not limited to memory, hardware devices and CPU cores is protected by capabilities. Applications and VMs can only access a resource if they possess a capability with suitable permissions for that resource.'}), frozendict({'id': 'BSI', 'description': 'Certificate'})]
Description The TOE is the L4Re Secure Separation Kernel CC 1.0.1 (L4Re SSK). L4Re SSK is a distribution of the open-source L4Re Operating System Framework. As such it is based on the L4Re Microkernel. The L4Re Microkernel is a 3rd-generation microkernel with a state-of-the-art capability-based mandatory access control security model. It allows the separation of applications into different security domains, information flow control, and, subject to access control, dynamic assignment of resources and communication channels. Further the L4Re Microkernel supports static workloads alongside dynamic workloads, which allows to start, restart and shutdown applications during runtime. L4Re SSK is configured to act as a separation kernel, to provide the security features claimed by the ST. The TOE supports native applications as well as virtual machines (VMs). Access to every resource including but not limited to memory, hardware devices and CPU cores is protected by capabilities. Applications and VMs can only access a resource if they possess a capability with suitable permissions for that resource.

Updates

  • The certificate was first processed.

Raw data 

{
  "_type": "sec_certs.sample.eucc.EUCCCertificate",
  "category": "OPERATING SYSTEM",
  "cert_id": "EUCC-3087-2026-0000000003-00000",
  "cert_link": "https://certification.enisa.europa.eu/document/download/30e7853a-3d42-4f12-bfea-8f349819b040_en?filename=EUCC-3087-2026-04-0003%20Certificate.pdf",
  "dgst": "e3bedad9f0d6835b",
  "heuristics": {
    "_type": "sec_certs.sample.cc_eucc_common.Heuristics",
    "annotated_references": null,
    "cert_id": null,
    "cert_lab": [
      "BSI"
    ],
    "cpe_matches": null,
    "direct_transitive_cves": null,
    "eal": null,
    "extracted_sars": {
      "_type": "Set",
      "elements": [
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_FSP",
          "level": 4
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_TAT",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "AGD_OPE",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_CMS",
          "level": 4
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_LCD",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_OBJ",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_TSS",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_ECD",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_ARC",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_FLR",
          "level": 3
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_COV",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_IMP",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_DVS",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_CCL",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "AVA_VAN",
          "level": 3
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_INT",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "AGD_PRE",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_DEL",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ADV_TDS",
          "level": 3
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_REQ",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_DPT",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ASE_SPD",
          "level": 1
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ALC_CMC",
          "level": 4
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_IND",
          "level": 2
        },
        {
          "_type": "sec_certs.sample.sar.SAR",
          "family": "ATE_FUN",
          "level": 1
        }
      ]
    },
    "extracted_versions": {
      "_type": "Set",
      "elements": [
        "1.0.2"
      ]
    },
    "indirect_transitive_cves": null,
    "next_certificates": null,
    "prev_certificates": null,
    "protection_profiles": null,
    "related_cves": null,
    "report_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "scheme_data": {
      "category": "Operating systems",
      "cert_id": "EUCC-3087-2026-04-0003",
      "certification_date": "2026-04-16",
      "enhanced": {
        "applicant": "Kernkonzept GmbH Buchenstra\u00dfe 16 b 01097 Dresden Deutschland",
        "assurance_level": "EAL4+,ALC_FLR.3",
        "certification_date": "2026-04-16",
        "description": "The TOE is the L4Re Secure Separation Kernel CC 1.0.1 (L4Re SSK). L4Re SSK is a distribution of the open-source L4Re Operating System Framework. As such it is based on the L4Re Microkernel. The L4Re Microkernel is a 3rd-generation microkernel with a state-of-the-art capability-based mandatory access control security model. It allows the separation of applications into different security domains, information flow control, and, subject to access control, dynamic assignment of resources and communication channels. Further the L4Re Microkernel supports static workloads alongside dynamic workloads, which allows to start, restart and shutdown applications during runtime. L4Re SSK is configured to act as a separation kernel, to provide the security features claimed by the ST. The TOE supports native applications as well as virtual machines (VMs). Access to every resource including but not limited to memory, hardware devices and CPU cores is protected by capabilities. Applications and VMs can only access a resource if they possess a capability with suitable permissions for that resource.",
        "entries": [
          {
            "description": "L4Re SSK is configured to act as a separation kernel, to provide the security features claimed by the ST. The TOE supports native applications as well as virtual machines (VMs). Access to every resource including but not limited to memory, hardware devices and CPU cores is protected by capabilities. Applications and VMs can only access a resource if they possess a capability with suitable permissions for that resource.",
            "id": "EUCC"
          },
          {
            "description": "Certificate",
            "id": "BSI"
          }
        ],
        "evaluation_facility": "atsec information security GmbH",
        "expiration_date": "2031-04-15",
        "product": "L4Re Secure Separation Kernel, Version CC 1.0.2"
      },
      "product": "L4Re Secure Separation Kernel, Version CC 1.0.2",
      "url": "https://www.bsi.bund.de/SharedDocs/Zertifikate_CC/CC/Betriebssysteme/1177_1177V2.html",
      "vendor": "Kernkonzept GmbH"
    },
    "st_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "verified_cpe_matches": null
  },
  "manufacturer": "Kernkonzept GmbH",
  "manufacturer_web": "https://www.kernkonzept.com/cybersecurity-information/",
  "name": "L4Re Secure Separation Kernel CC 1.0.2",
  "not_valid_after": "2031-04-16",
  "not_valid_before": "2026-04-16",
  "other_metadata": {
    "_type": "sec_certs.sample.eucc.EUCCCertificate.EnisaMetadata",
    "assurance_level": "High",
    "ava_van_level": "3",
    "cc_version": "CC 3.1 Revision 5",
    "cem_version": "CEM 3.1 Revision 5",
    "certificate_id": "EUCC-3087-2026-0000000003-00000",
    "certificate_yearly_number": "3",
    "certification_body": "Bundesamt f\u00fcr Sicherheit in der Informationstechnik, EUCC Zertifizierungsstelle",
    "certification_body_address": "Postfach 200363\\n53133 Bonn, Bonn",
    "certification_body_contact": "[email protected] Phone: +49 228 99 9582-0",
    "holder_address": "Buchenstr. 16b 01097 Dresden",
    "holder_contact": "[email protected]",
    "holder_name": "Kernkonzept GmbH",
    "holder_website": "https://www.kernkonzept.com/cybersecurity-information/",
    "issuance_date_full": "16/04/2026",
    "issuance_month": "4",
    "issuance_year": "2026",
    "itsef": "atsec information security GmbH",
    "modification_or_reassurance": null,
    "nando_id": "3087",
    "package": {},
    "product_description": "L4Re SSK is a distribution of the open-source L4Re Operating System Framework. As such it is based on the L4Re Microkernel. The L4Re Microkernel is a 3rd-generation microkernel with a state-of-the-art capability-based mandatory access control security model.",
    "product_name": "L4Re Secure Separation Kernel CC 1.0.2",
    "product_type": "Operating System",
    "product_version": "1.0.2",
    "protection_profile": "None",
    "report_reference": "EUCC-3087-2026-04-0003",
    "responsible_ncca": "Bundesamt f\u00fcr Sicherheit in der Informationstechnik",
    "scheme": "(UE) 2024/482 - EUCC",
    "validity_period_years": "5 years"
  },
  "pdf_data": {
    "_type": "sec_certs.sample.cc_eucc_common.PdfData",
    "cert_filename": "30e7853a-3d42-4f12-bfea-8f349819b040_en",
    "cert_frontpage": null,
    "cert_keywords": {
      "asymmetric_crypto": {},
      "cc_cert_id": {
        "DE": {
          "BSI-DSZ-CC-1177-V2-2026": 1
        }
      },
      "cc_claims": {},
      "cc_protection_profile_id": {},
      "cc_sar": {
        "ALC": {
          "ALC_FLR": 1,
          "ALC_FLR.3": 1
        },
        "AVA": {
          "AVA_VAN.3": 1
        }
      },
      "cc_security_level": {
        "EAL": {
          "EAL 4+": 1
        }
      },
      "cc_sfr": {},
      "certification_process": {},
      "cipher_mode": {},
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {},
      "crypto_scheme": {},
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {
        "atsec": {
          "atsec": 1
        }
      },
      "hash_function": {},
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {},
      "side_channel_analysis": {},
      "standard_id": {
        "ISO": {
          "ISO/IEC 15408": 2,
          "ISO/IEC 18045": 2
        }
      },
      "symmetric_crypto": {},
      "technical_report_id": {},
      "tee_name": {},
      "tls_cipher_suite": {},
      "vendor": {},
      "vulnerability": {}
    },
    "cert_metadata": {
      "/CreationDate": "D:20260420083932+01\u002700\u0027",
      "/Creator": "BSI00021016",
      "/ModDate": "D:20260420083932+01\u002700\u0027",
      "/Producer": "KONICA MINOLTA bizhub C308",
      "/Title": "SBSI000210126042008390",
      "pdf_file_size_bytes": 113837,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": []
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 2
    },
    "report_filename": "84c17d68-a07a-4bc0-aaec-d2f61fab6021_en",
    "report_frontpage": {
      "DE": {
        "cert_id": "BSI-DSZ-CC-1177-V2-2026",
        "cert_item": "L4Re Secure Separation Kernel, Version CC 1.0.2",
        "cert_lab": "BSI",
        "developer": "Kernkonzept GmbH",
        "match_rules": [
          "(BSI-DSZ-CC-.+?) (?:for|For) (.+?) from (.*)"
        ]
      }
    },
    "report_keywords": {
      "asymmetric_crypto": {},
      "cc_cert_id": {
        "DE": {
          "BSI-DSZ-CC-1177-": 1,
          "BSI-DSZ-CC-1177-2025": 2,
          "BSI-DSZ-CC-1177-V2-2026": 18
        }
      },
      "cc_claims": {
        "OE": {
          "OE.HARDWARE": 1,
          "OE.NOEVIL": 1,
          "OE.PHYSICAL": 1
        }
      },
      "cc_protection_profile_id": {},
      "cc_sar": {
        "ALC": {
          "ALC_FLR": 2,
          "ALC_FLR.3": 1
        },
        "AVA": {
          "AVA_VAN.3": 1
        }
      },
      "cc_security_level": {
        "EAL": {
          "EAL 2": 2,
          "EAL 4+": 1
        }
      },
      "cc_sfr": {},
      "certification_process": {
        "ConfidentialDocument": {
          "ETR] Final Evaluation Technical Report, Version 1.1, 24.03.2026, atsec information security GmbH, (confidential document) [ConfList] L4Re Secure Separation Kernel CC 1.0.2 Konfigurationsliste, Version 1.2, 2026-01-26": 1,
          "GmbH (confidential document) [ConfGuide] L4Re Configuration Guidance, Version 15, 2025-11-28, Kernkonzept GmbH [DevGuide": 1
        }
      },
      "cipher_mode": {},
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {},
      "crypto_scheme": {},
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {
        "atsec": {
          "atsec": 6
        }
      },
      "hash_function": {},
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {},
      "side_channel_analysis": {},
      "standard_id": {
        "BSI": {
          "AIS 1": 1,
          "AIS 14": 1,
          "AIS 17": 1,
          "AIS 19": 1,
          "AIS 23": 1,
          "AIS 32": 1,
          "AIS 38": 1
        },
        "ISO": {
          "ISO/IEC 15408": 2,
          "ISO/IEC 17065": 2,
          "ISO/IEC 18045": 2
        }
      },
      "symmetric_crypto": {},
      "technical_report_id": {},
      "tee_name": {},
      "tls_cipher_suite": {},
      "vendor": {
        "NXP": {
          "NXP": 1
        }
      },
      "vulnerability": {}
    },
    "report_metadata": {
      "/CreationDate": "D:20260420085327+02\u002700\u0027",
      "/Creator": "Writer",
      "/Keywords": "Common Criteria, Certification, Zertifizierung, L4Re, Kernkonzept, Mikrokernel",
      "/Producer": "LibreOffice 5.3",
      "/Title": "Certification Report EUCC-3087-2026-04-0003 ;BSI-DSZ-CC-1177-V2-2026",
      "pdf_file_size_bytes": 343571,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": [
          "http://www.commoncriteriaportal.org/",
          "https://certification.enisa.europa.eu/publications/eucc-state-art-documents_en",
          "https://www.bsi.bund.de/zertifizierungsreporte",
          "https://www.kernkonzept.com/cybersecurity-information/",
          "https://www.bsi.bund.de/AIS",
          "https://www.bsi.bund.de/zertifizierung",
          "https://eur-lex.europa.eu/eli/reg_impl/2025/2462/oj",
          "https://www.commoncriteriaportal.org/",
          "https://euvd.enisa.europa.eu/"
        ]
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 18
    },
    "st_filename": "6fe6d82e-e79f-47ea-8c84-4e11a0f4a001_en",
    "st_frontpage": null,
    "st_keywords": {
      "asymmetric_crypto": {},
      "cc_cert_id": {
        "DE": {
          "BSI-DSZ-CC-1177-v2-2026": 2
        }
      },
      "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
        }
      },
      "cc_protection_profile_id": {},
      "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
        }
      },
      "cc_security_level": {
        "EAL": {
          "EAL 4": 1,
          "EAL4": 2
        }
      },
      "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
        }
      },
      "certification_process": {},
      "cipher_mode": {},
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {
        "VPN": {
          "VPN": 1
        }
      },
      "crypto_scheme": {},
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {},
      "hash_function": {},
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {},
      "side_channel_analysis": {
        "SCA": {
          "side channels": 3
        }
      },
      "standard_id": {},
      "symmetric_crypto": {},
      "technical_report_id": {},
      "tee_name": {},
      "tls_cipher_suite": {},
      "vendor": {
        "NXP": {
          "NXP": 1
        }
      },
      "vulnerability": {}
    },
    "st_metadata": {
      "/Author": "Kernkonzept GmbH",
      "/CreationDate": "D:20260126154027+01\u002700\u0027",
      "/Creator": "Writer",
      "/Keywords": "L4Re Operating System Framework, L4Re Hypervisor, Microkernel, Operating system",
      "/Producer": "LibreOffice 25.8.4.2 (X86_64) / LibreOffice Community",
      "/Subject": "L4Re SSK",
      "/Title": "Security Target for L4Re Secure Separation Kernel CC 1.0.2",
      "pdf_file_size_bytes": 1209582,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": [
          "https://l4re.org/doc/group__l4__icu__api.html"
        ]
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 61
    }
  },
  "protection_profile_links": null,
  "report_link": "https://certification.enisa.europa.eu/document/download/84c17d68-a07a-4bc0-aaec-d2f61fab6021_en?filename=EUCC-3087-2026-04-0003%20Report.pdf",
  "scheme": "DE",
  "security_level": {
    "_type": "Set",
    "elements": []
  },
  "st_link": "https://certification.enisa.europa.eu/document/download/6fe6d82e-e79f-47ea-8c84-4e11a0f4a001_en?filename=EUCC-3087-2026-04-0003%20Security%20Target.pdf",
  "state": {
    "_type": "sec_certs.sample.cc_eucc_common.InternalState",
    "cert": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": null,
      "source_hash": "1d66a280fe463062cf9c8d13cccb172915c6840931a6df09cbe2d49b08099f05",
      "txt_hash": "73615ab3e2f69b8e4c109011752b29db91dbecfadeb28dfe7dc93ff84b6e03ed"
    },
    "report": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": null,
      "source_hash": "0fe633b6922de665cf1c5dfe90c6d8f6eb5b12d8d234cfec06dc1fc3d450eb69",
      "txt_hash": "a30cf2fbb0e0f0e6d6dbe0926468fd0329782347ddd5982bf6631799bb29053c"
    },
    "st": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": null,
      "source_hash": "cb763e64dac9d0c62d69e87212e77f2134eef9cd7961458cbd75c3b9723c851c",
      "txt_hash": "bb5b1be53eaeab4cd50c2f0d147b9d03656e7dfe26ceea1625bbd713ba9b88c3"
    }
  },
  "status": "active"
}