Sicherheits-Beweis für Betriebssystem-Kernel

23. August 2009, 16:23 |  0 Kommentare

Forscher melden mathematischen Nachweis für fehlerfreien Code



Forscher am australischen IKT-Forschungsinstitut NICTA haben nach eigenen Angaben den weltweit ersten formellen maschinell geprüften Beweis dafür geliefert, dass ein Betriebssystem-Kernel frei von vielen gängigen Fehlern ist. Dabei wurden 7.500 Zeilen C-Quellcode geprüft. Der so verifizierte Mikrokernel "Secure Embedded L4" (seL4) könnte den Wissenschaftlern zufolge in diversen sicherheitskritischen Embedded-Anwendungen zum Einsatz kommen. "Die Prüfung bietet einen schlüssigen Nachweis, dass fehlerfreie Software möglich ist. Weniger als das sollte in Zukunft in kritischen Bereichen nicht akzeptabel sein", meint Gernot Heiser, CTO bei Open Kernel (OK) Labs, einem Spezialisten für Virtualisierungslösungen im Embedded-Bereich. Dieser will ein Produkt realisieren, dem ein derart geprüfter Kernel zugrunde liegt.

Mehr dazu findest Du auf pressetext.com


Autor schreiben




Kurze URL:


Bewertung: 3.0/5 (2 Stimmen)


Das könnte Dich auch interessieren:


Ähnliche News:
Windows 10 und 11: Downgrade-Angriff reißt alte Sicherheitslücken wieder auf
Sicherheitsvorfall bei MDM-Anbieter: 13.000 Mobilgeräte aus der Ferne gelöscht
Getarnt als Sicherheitstool: Neue Android-Malware leert Bankkonto und Speicher
Sicherheitslücke bei WLAN-Telefonie, auch bei österreichischem Mobilfunker
Drei Viertel aller Cyberangriffe wegen lang bekannter Sicherheitslücken erfolgreich
Sicherheitslücke: Whatsapp für Windows führt Skripte ohne Warnung aus
Crowdstrike: 97 Prozent der Windows-Sicherheitssensoren wieder online
Sicherheitsforscher: Signals lokale Verschlüsselung unter MacOS ist "nutzlos"
RegreSSHion: Sicherheitslücke ermöglicht von außen Root-Zugriff auf Millionen Rechner
Airpods erlauben wegen Sicherheitslücke das Mithören


Weitere News:
Wie sieht es wirklich mit dem Ökologischen Fingerabdruck von E-Autos aus?
Weltgrößte schwimmende Solarfarm geht in China ans Netz
Größter Batteriehersteller der Welt ist überzeugt: "Tesla wird scheitern"
Endlich: Google bekommt Wegwerf-Mailadressen
Laserstrahl kann Schatten werfen
Haltlose Vorwürfe gegen Musk, er habe mit Starlink die US-Wahl manipuliert
Musk sucht Bewerber für mühsame Arbeit
Google-KI: Gemini sagt Nutzer, er solle "bitte sterben"
Rivada: Von Trump unterstütztes Sat-Projekt verliert Frequenzen
Razer bringt ein neues USB-C-Dock mit 13 Anschlüssen


Einen Kommentar schreiben

Du willst nicht als "Gast" schreiben? Logg Dich Hier ein.

Code:

Code neuladen

Kommentare
(0)

Bitte bleibe sachlich und fair in deinen Äußerungen. Sollte dein Kommentar nicht sofort erscheinen, ist er in der Warteschlange gelandet und wird meist zeitnah freigeschaltet.



Kommentare:

Du hast bereits für diesen Kommentar abgestimmt...

;-)


© by Ress Design Group, 2001 - 2024

Top