CCRA Certification
CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440
for L4Re Secure Separation Kernel CC Version 1.0.1 by Kernkonzept GmbH
L4Re Secure Separation Kernel CC Version 1.0.1 — CCRA EAL4+,ALC_FLR.3 certification by Kernkonzept GmbH. Issued 2025-02-18.
Key facts
- Scheme: CCRA
- Certificate ID:
CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 - Security level: EAL4+,ALC_FLR.3
- Status: —
- Issue date: 2025-02-18
- Expiry date: 2030-02-18
- Product: L4Re Secure Separation Kernel CC Version 1.0.1
- Vendor: Kernkonzept GmbH
Documents
Frequently asked questions
- What is CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440?
- CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 is a CCRA certification for L4Re Secure Separation Kernel CC Version 1.0.1 by Kernkonzept GmbH.
- Which product is certified by CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440?
- CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 certifies L4Re Secure Separation Kernel CC Version 1.0.1 from Kernkonzept GmbH.
- What security level is CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440?
- CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 is certified at EAL4+,ALC_FLR.3.
- When was CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 issued?
- CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 was issued on 2025-02-18.
- When does CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 expire?
- CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 expires on 2030-02-18.
- Under which certification scheme was CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 issued?
- CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 is a CCRA certification.