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. Bosch Gruppe, Reutlingen
  2. abilex GmbH, Stuttgart

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. Jetzt für 150 EUR kaufen und 75 EUR sparen
  2. (u. a. 4 Blu-rays für 20€, 2 TV-Serien für 20€)

Der Kaiser! 27. Jan 2011

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


Folgen Sie uns
       


Nvidia Geforce RTX 2080 und 2080 Ti - Test

Nvidia hat mit der RTX 2080 und 2080 Ti die derzeit leistungsstärksten Grafikkarten am Markt. Wir haben sie getestet.

Nvidia Geforce RTX 2080 und 2080 Ti - Test Video aufrufen
Gigabit: 5G-Planungen gehen völlig an den Nutzern vorbei
Gigabit
5G-Planungen gehen völlig an den Nutzern vorbei

Fast täglich hören wir Erklärungen aus der Telekommunikationsbranche, was 5G erfüllen müsse und warum sonst das Ende der Welt drohe. Wir haben die Konzerngruppen nach Interessenlage kartografiert.
Ein IMHO von Achim Sawall

  1. Bundesnetzagentur Regierung will gemeinsames 5G-Netz auf dem Land durchsetzen
  2. Mobilfunk Telekom will 5G-Infrastruktur mit anderen gemeinsam nutzen
  3. Fixed Wireless Access Nokia bringt mehrere 100 MBit/s mit LTE ins Festnetz

Shine 3: Neuer Tolino-Reader bringt mehr Lesekomfort
Shine 3
Neuer Tolino-Reader bringt mehr Lesekomfort

Die Tolino-Allianz bringt das Nachfolgemodell des Shine 2 HD auf den Markt. Das Shine 3 erhält mehr Ausstattungsdetails aus der E-Book-Reader-Oberklasse. Vor allem beim Lesen macht sich das positiv bemerkbar.
Ein Hands on von Ingo Pakalski

  1. E-Book-Reader Update macht Tolino-Geräte unbrauchbar

Künstliche Intelligenz: Wie Computer lernen
Künstliche Intelligenz
Wie Computer lernen

Künstliche Intelligenz, Machine Learning und neuronale Netze zählen zu den wichtigen Buzzwords dieses Jahres. Oft wird der Eindruck vermittelt, dass Computer bald wie Menschen denken können. Allerdings wird bei dem Thema viel durcheinandergeworfen. Wir sortieren.
Von Miroslav Stimac

  1. Informationsfreiheitsbeauftragte Algorithmen für Behörden müssen diskriminierungsfrei sein
  2. Innotrans KI-System identifiziert Schwarzfahrer
  3. USA Pentagon fordert KI-Strategie fürs Militär

    •  /