Abo
  • Services:

OKL4

Sicherer Microkernel für mobile Geräte

Open Kernel Labs (OK Labs) hat seinen sicheren Microkernel OKL4 Verified samt OKL4-Hypervisor für mobile Geräte zum Download freigegeben. Ein spezieller Verifizierungsprozess soll Pufferüberläufe oder Speicherlecks bei dessen Entwicklung verhindern.

Artikel veröffentlicht am ,
OKL4: Sicherer Microkernel für mobile Geräte

Das für die x86- und ARM11-basierte Plattformen gedachte Image des Microkernel OKL4 Verified hat einen Hypervisor, auf dem mobile Betriebssysteme laufen, darunter Linux, Windows Mobile und Symbian. Für die Sicherheit sorgt eine auf dem Sel4-Projekt aufgesetzte Infrastruktur, die den Code des Kernels und des Hypervisors verifiziert.

Stellenmarkt
  1. Sky Deutschland GmbH, Unterföhring
  2. MBDA Deutschland, Schrobenhausen

Der Verifizierungsprozess umfasst aber nicht nur die von Werkzeugen wie Lint oder Coverity durchgeführten Prüfungen, die sich meist auf statische Codeanalyse beschränken, sondern auch die Fahndung nach möglichen Pufferüberläufen oder Speicherlecks. Damit soll sich OKL4 Verified vor allem für den Einsatz auf unternehmenskritischen Geräten eignen, über die beispielsweise finanzielle Transaktionen laufen sollen.

Unter dem Microkernel OS laufen sämtliche Anwendungen im Userspace, der schmale Hypervisor sorgt für eine Schicht, auf der das eigentliche Betriebssystem läuft. Zudem hat das OS eine minimale Posix-Umgebung, in der die Anwendungen, aber auch Treiber laufen können. Sie werden in voneinander getrennten Partitionen gespeichert.

Das Sel4-Projekt wurde von der NICTA (National Information and Communications Technology Australia) sowie von der University von New South Wales (UNSW) in Australien betrieben. Der Hypervisor basiert auf Technologie, die an der Technischen Universität Dresden unter dem Namen Nova-Projekt vorangetrieben wurde.

Die Forschungsergebnisse gingen an das Unternehmen OK Labs, das das Microkernel OS jetzt zum Download freigab. Die kostenlose Variante ist für die nichtkommerzielle Nutzung gedacht. In dem Download sind startbare Images für x86 und ARM11, entsprechende Userspace-Bibliotheken und weiterer Quellcode, um entsprechende Anwendungen zu erstellen. Zusätzlich enthält das Paket eine paravirtualisierte Linux-Distribution, die auf OKL4 Verified läuft, sowie eine Dokumentation und die Spezifikationen. Teile des Microkernels stehen unter proprietären Lizenzen.

Weitere Informationen zu Sel4 und dem Sicherheitskonzept haben die Entwickler in einem Whitepaper zusammengestellt.



Anzeige
Blu-ray-Angebote
  1. (u. a. Deadpool, Alien Covenant, Assassins Creed)
  2. 4,99€
  3. (2 Monate Sky Ticket für nur 4,99€)
  4. (u. a. Der Marsianer, Spaceballs, Titanic, Batman v Superman)

Der Kaiser! 27. Jan 2011

Zum Thema "Pufferüberläufe und Speicherlecks verhindern" leisten PaX und KERNHEAP gute...


Folgen Sie uns
       


Wir fahren den Jaguar I-Pace - Bericht (Genf 2018)

Wir sind den Jaguar I-Pace in Genf probegefahren und konnten ihn trotz nassem Wetter nicht aus der Spur bringen.

Wir fahren den Jaguar I-Pace - Bericht (Genf 2018) Video aufrufen
Xperia XZ2 Compact im Test: Sonys kompaktes Top-Smartphone bleibt konkurrenzlos
Xperia XZ2 Compact im Test
Sonys kompaktes Top-Smartphone bleibt konkurrenzlos

Sony konzentriert sich beim Xperia XZ2 Compact erneut auf die alte Stärke der Serie und steckt ein technisch hervorragendes Smartphone in ein kompaktes Gehäuse. Heraus kommt ein kleines Gerät, das kaum Wünsche offenlässt und in dieser Größenordnung im Grunde ohne Konkurrenz ist.
Ein Test von Tobias Költzsch

  1. Xperia XZ2 Premium Sony stellt Smartphone mit lichtempfindlicher Dualkamera vor
  2. Sony Grundrauschen an Gerüchten über die Playstation 5 nimmt zu
  3. Playstation Sony-Chef Kaz Hirai verabschiedet sich mit starken Zahlen

Dell XPS 13 (9370) im Test: Sehr gut ist nicht besser
Dell XPS 13 (9370) im Test
Sehr gut ist nicht besser

Mit dem XPS 13 (9370) hat Dell sein bisher exzellentes Ultrabook in nahezu allen Bereichen überarbeitet - und es teilweise verschlechtert. Der Akku etwa ist kleiner, das spiegelnde Display nervt. Dafür überzeugen die USB-C-Ports, die Kühlung sowie die Tastatur, und die Webcam wurde sinnvoller.
Ein Test von Marc Sauter und Sebastian Grüner

  1. Ultrabook Dell hat das XPS 13 ruiniert
  2. XPS 13 (9370) Dells Ultrabook wird dünner und läuft kürzer
  3. Ultrabook Dell aktualisiert XPS 13 mit Quadcore-Chip

Physik: Maserlicht aus Diamant
Physik
Maserlicht aus Diamant

Ein Stickstoff-Fehlstellen-basierter Maser liefert kontinuierliche und kohärente Mikrowellenstrahlung bei Raumtemperatur. Eine mögliche Anwendung ist die Kommunikation mit Satelliten.
Von Dirk Eidemüller

  1. Colorfab 3D-gedruckte Objekte erhalten neue Farbgestaltung
  2. Umwelt China baut 100-Meter-Turm für die Luftreinigung
  3. Crayfis Smartphones sollen kosmische Strahlung erfassen

    •  /