L4Re Secure Separation Kernel VS NATO SECRET

L4Re Secure Separation Kernel VS 1.0.0 von Kernkonzept erhält Zulassung für NATO SECRET

Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat dem L4Re Secure Separation Kernel VS 1.0.0 die Zulassung für die Geheimhaltungsstufe NATO SECRET erteilt.

Dresden, 21. Juli 2025 –Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat dem L4Re Secure Separation Kernel VS 1.0.0 die Zulassung für die Geheimhaltungsstufe NATO SECRET erteilt.

Mit der Zulassung des L4Re Secure Separation Kernel VS 1.0.0 für die Geheimhaltungsstufe NATO SECRET ist der Einsatz in sicherheitskritischen Anwendungen innerhalb des NATO-Raums möglich. Die Zulassung ebnet den Weg für eine vertrauenswürdige Kommunikation und den Schutz sensibler Informationen auf multinationaler Ebene. Der L4Re Secure Separation Kernel VS 1.0.0 ist der erste und derzeit einzige Separationskern mit einer Zulassung für die Geheimhaltungsstufen VS GEHEIM und NATO SECRET.

„Diese Zulassung ist ein weiterer Beweis für die Expertise von Kernkonzept bei der Entwicklung von IT-Sicherheitslösungen für den Bereich der Verschlusssachen. Unsere europäischen und internationalen Kunden und Partner können jetzt den Einsatzraum ihrer Produkte auf für NATO SECRET klassifizierte Informationen ausdehnen“, sagt Dr. Michael Hohmuth, Geschäftsführer der Kernkonzept GmbH.

Ein Separationskern sorgt für die strikte Isolierung zwischen verschiedenen Sicherheitsdomänen oder Klassifizierungsebenen innerhalb eines Computersystems. Die Hauptaufgabe des Separationskerns besteht darin, zu gewährleisten, dass der Informationsfluss und die Interaktionen zwischen diesen Bereichen kontrolliert und sicher sind. Durch starke Isolationsmechanismen verhindert er unbefugte Zugriffe, Datenlecks oder Interferenzen zwischen sensiblen Komponenten. Dies ist besonders wichtig in Szenarien, in denen mehrere Sicherheitsstufen oder Informationen mit unterschiedlichem Vertraulichkeitsgrad auf derselben Hardware verarbeitet werden.

Das erfolgreich absolvierte Evaluierungsverfahren des BSI für NATO SECRET ist vor allem für Regierungsbehörden und Unternehmen im Bereich Verteidigung relevant, da nur mit der Zulassung für NATO SECRET entsprechend klassifizierte Daten verarbeitet werden dürfen.

„Mit der NATO-SECRET-Zulassung für den L4Re Secure Separation Kernel VS 1.0.0 bieten wir einen weiteren wichtigen Baustein für die IT-Sicherheit in missionskritischen Umgebungen im NATO-Raum“, sagt Dr.-Ing. Adam Lackorzynski, Gründer und CTO der Kernkonzept GmbH. „Damit steht nun auch internationalen Kunden mit NATO-klassifizierten Informationen ein sicheres Betriebssystem in Form von L4Re zur Verfügung.“

Um Angriffe und technische Fehlfunktionen auszuschließen, wurde der L4Re Secure Separation Kernel VS 1.0.0 von Anfang an streng nach dem Prinzip „Security by Design“ entwickelt. Mit seiner sehr kleinen Trusted Computing Base (TCB) und der Capability-basierten obligatorischen Zugriffskontrolle („mandatory access control”, MAC) bietet der L4Re Secure Separation Kernel VS 1.0.0 einen hohen Grad an Sicherheit, die direkt implementiert werden kann.

Die L4Re-Technologie wird bereits seit Jahren in vielen IT- und VS-Sicherheitsprodukten mit NATO-SECRET-Zulassung zur sicheren Separierung von sensiblen Informationen, Netzwerken oder kritischen Sicherheitsfunktionen eingesetzt. Seit Anfang 2024 ist die Kernkonzept GmbH als mittelständisches, inhabergeführtes Unternehmen der bislang einzige Anbieter von VS-IT-Lösungen über einen für GEHEIM zugelassenen Separationskern.

-> Liste der NATO-SECRET-zugelassenen Produkte auf der BSI-Website

Kernkonzept ist ein Spezialist für sichere Virtualisierungs- und Betriebssystemtechnologie, mit Kunden, die komplexe Softwareprodukte für sicherheits- und missionskritische Anwendungen entwickeln, welche oft Zertifizierung oder Akkreditierung erfordern.

Auf der Grundlage der Open-Source-Technologie L4Re – einer Mikrokern-basierten Betriebssystem- und Hypervisor-Plattform – entwickelt Kernkonzept Systemlösungen mit einer minimalen Angriffsfläche, Echtzeitfähigkeiten und Virtualisierungsunterstützung, bis hin zum für GEHEIM und NATO SECRET zugelassenen Produkt L4Re Secure Separation Kernel VS und dem nach Common Criteria EAL4+ rezertifizierten L4Re Secure Separation Kernel CC.

Durch den Einsatz der zertifizierten und erprobten L4Re-Technologie können Kunden die Zertifizierung ihrer eigenen Produkte erheblich beschleunigen – und damit Zeit, Kosten und Risiko deutlich reduzieren. Kernkonzept passt diese Lösungen an die spezifischen Anforderungen des Automobil-, Hochsicherheits- und Embedded-Marktes an und unterstützt Kunden mit umfassender, individueller Architekturberatung und Entwicklung. Die Kernkonzept GmbH ist ein mittelständisches Unternehmen mit Sitz in Dresden.

Kernkonzept Events

Pressekontakt

Ihre Anfrage

Sie haben eine Frage zu unserer Firma oder zur L4Re-Technologie? Wir freuen uns, von Ihnen zu hören.

KERNKONZEPT MAILING LIST

Fast geschafft!

To complete your subscription, please check your inbox for a confirmation email. Click the link in the email to confirm your subscription. If you don’t see the confirmation email in your inbox, make sure to check your spam or junk folder.

Download

Fast geschafft!

Thank you for your interest in our work. After your free download, we would love to hear your opinion about it. Feel free to contact us per mail or on LinkedIn!