Abo
  • Services:
Anzeige
OKL4: Sicherer Microkernel für mobile Geräte

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.

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.

Anzeige

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.


eye home zur Startseite
Der Kaiser! 27. Jan 2011

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



Anzeige

Stellenmarkt
  1. TAKATA AG, Aschaffenburg
  2. avitea GmbH, Lippstadt
  3. Helicopter Flight Training Services GmbH, Bückeburg
  4. Robert Bosch GmbH, Leonberg


Anzeige
Spiele-Angebote
  1. 6,99€
  2. (-11%) 39,99€
  3. 19,99€ (Vorbesteller-Preisgarantie)

Folgen Sie uns
       


  1. E-Autos

    2019 will Volvo elektrische Lkw verkaufen

  2. Xbox Game Pass

    Auch ganz neue Konsolenspiele im Monatsabo für 10 Euro

  3. Tesla

    Elon Musk spielt mit hohem Risiko

  4. Mondwettbewerb

    Niemand gewinnt den Google Lunar X-Prize

  5. Festnetz und Mobilfunk

    Telekom kämpft mit Zerstörungen durch den Orkan Friederike

  6. God of War

    Papa Kratos kämpft ab April 2018

  7. Domain

    Richard Gutjahr pfändet Compact-online.de

  8. Carsharing

    Drivenow und Car2Go wollen fusionieren

  9. Autonomes Fahren

    Alstom testet automatisierten Zugbetrieb

  10. Detectron

    Facebook gibt eigene Objekterkennung frei



Haben wir etwas übersehen?

E-Mail an news@golem.de


Anzeige
Microsoft: Großer Widerstand gegen US-Zugriff auf weltweite Cloud-Daten
Microsoft
Großer Widerstand gegen US-Zugriff auf weltweite Cloud-Daten
  1. Newsletter-Dienst Mailchimp verrät E-Mail-Adressen von Newsletter-Abonnenten
  2. Marktforschung Viele Android-Apps kollidieren mit kommendem EU-Datenschutz
  3. Loki App zeigt Inhalte je nach Stimmung des Nutzers an

Updates: Wie man Spectre und Meltdown loswird
Updates
Wie man Spectre und Meltdown loswird
  1. Hacker One Nur 20 Prozent der Bounty-Jäger hacken in Vollzeit
  2. Wallet Programmierbare Kreditkarte mit ePaper, Akku und Mobilfunk
  3. Fehlalarm Falsche Raketenwarnung verunsichert Hawaii

Ein Jahr Trump: Der Cheerleader der deregulierten Wirtschaft
Ein Jahr Trump
Der Cheerleader der deregulierten Wirtschaft
  1. Protektionismus Trump-Regierung verhängt Einfuhrzölle auf Solarzellen
  2. F-52 Trump verkauft Kampfjets aus Call of Duty
  3. Raumfahrtpolitik Amerika will wieder zum Mond - und noch viel weiter

  1. Sowieso seltsamer Preis

    Bouncy | 09:09

  2. Mal abwarten, wie viele der "krachneuen" Titel...

    Herr Unterfahren | 09:08

  3. Re: Wieder online nach 27h

    M.P. | 09:08

  4. Re: Redundanz?

    Müllhalde | 09:08

  5. Re: au weia ...

    Pecker | 09:07


  1. 08:56

  2. 08:41

  3. 07:47

  4. 07:29

  5. 18:19

  6. 18:08

  7. 17:53

  8. 17:42


  1. Themen
  2. A
  3. B
  4. C
  5. D
  6. E
  7. F
  8. G
  9. H
  10. I
  11. J
  12. K
  13. L
  14. M
  15. N
  16. O
  17. P
  18. Q
  19. R
  20. S
  21. T
  22. U
  23. V
  24. W
  25. X
  26. Y
  27. Z
  28. #
 
    •  / 
    Zum Artikel