Overslaan en naar de inhoud gaan

Australiërs ontwikkelen superveilige kernel

De zogeheten Secure Embedded L4-kernel is getest met een geautomatiseerd testsysteem. Nicta heeft ruim vier jaar gewerkt aan de kernel met een team wiskundigen en de open-sourceverficatietool Isabelle, die aan de Technische Universiteit van München is ontwikkeld.
Tech & Toekomst
Shutterstock
Shutterstock

De seL4-kernel is een kleine, high-performance kernel van de derde generatie die bestaat uit rond de 9000 regels C-code. Alle privileges voor toegang tot hardware zijn vastgelegd in de kernel, die de toegang regelt tot die hardware voor de rest van het systeem. Een vergelijkbare kernel, de OKL4 van Open Kernel Labs, wordt in veel smartphones gebruikt.

Lees dit PRO artikel gratis

Maak een gratis account aan en geniet van alle voordelen:

  • Toegang tot 3 PRO artikelen per maand
  • Inclusief CTO interviews, podcasts, digitale specials en whitepapers
  • Blijf up-to-date over de laatste ontwikkelingen in en rond tech

Bevestig jouw e-mailadres

We hebben de bevestigingsmail naar %email% gestuurd.

Geen bevestigingsmail ontvangen? Controleer je spam folder. Niet in de spam, klik dan hier om een account aan te maken.

Er is iets mis gegaan

Helaas konden we op dit moment geen account voor je aanmaken. Probeer het later nog eens.

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in