TUD Logo

TUD Startseite » ... » Professuren » Betriebssysteme » L4 GEHEIM

Betriebssysteme

L4 GEHEIM

Rechnersysteme und andere Geräte, die im Sicherheitsbereich der öffentlichen Hand (Behörden, Geheimdienste, Verteidigung, …) eingesetzt werden sollen, brauchen eine Zulassung des Bundesamtes für Sicherheit in der Informationstechnik (BSI). Für diese Zulassung wird der Bedarf an Sicherheit in die vier Stufen „NUR FÜR DEN DIENSTGEBRAUCH“, „VERTRAULICH", „GEHEIM“ und „STRENG GEHEIM“ eingeteilt. Erstmals wurde im April ein sogenanntes Security-Gateway für die Stufe „GEHEIM“ zertifiziert [1]. Unter einem Security-Gateway wird in diesem Kontext ein Gerät verstanden, was als "sicherer Netzübergang" fungiert und somit kritische und unkritische Netzwerke miteinander verbindet. Die Aufgabe des Betriebssystems ist es hierbei sicherzustellen, dass Daten und Informationen jeweils nur so übertragen werden können wie sie aus Sicht des Geheimnisschutzes übertragen werden dürfen. Das SDoT® Security Gateway der INFODAS Gesellschaft für Systementwicklung und Informationsverarbeitung mbH basiert auf SDoT MOS, einer Version des Mikrokernsystems L4Re, welches an die Anforderungen für „GEHEIM“ adaptiert wurde. Das L4Re System wurde über 20 Jahre von der Betriebssysteme-Forschungsgruppe der Fakultät unter der Leitung von Professor Härtig erforscht und wird inzwischen von deren Ausgründung Kernkonzept GmbH [2] weiterentwickelt und vermarktet.

L4Re ist ein Mikrokernsystem der neuesten Generation, welches ermöglicht, dass sicherheitskritische Teile von Systemen in wenigen kleinen, voneinander isolierten Komponenten zusammengefasst und von dem unkritischen Rest der Systeme streng separiert werden. Diese Entwicklung ist nicht nur für die öffentliche Hand von Interesse, sondern besonders auch für die Forschungsfelder „Industrie 4.0”, dem zukünftigen Mobilfunk "5G" sowie dem "Internet of Things" (IoT) von größter Bedeutung.

[1] https://www.infodas.de/bsi-erteilt-geheim-zulassung-fuer-sdot-security-gateway-6-0/
[2] https://kernkonzept.com/

Stand: 11.5.2017, 10:16 Uhr
Autor: Webmaster

Kontakt
Prof. Dr.
Hermann Härtig

Tel.: +49 (0) 351 463-38282
Fax: +49 (0) 351 463-38284
E-Mail-Kontaktformular

Angela Spehr

Tel.: +49 (0) 351 463-38281
Fax: +49 (0) 351 463-38284
E-Mail-Kontaktformular

Sprechzeit:
9:00 Uhr bis 15:00 Uhr
Fakultät Informatik