Sicherheits-Beweis für Betriebssystem-Kernel
Forscher melden mathematischen Nachweis für fehlerfreien CodeForscher 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
Kurze URL:
Das könnte Dich auch interessieren:
Dem Neurowissenschaftler war der Ansatz von Neuralink zu invasiv. Deshalb verließ er das Start-up und gründete sein eigenes Unternehmen.
Im Kampf gegen Terror und Kriminalität hat das EU-Parlament eine Entscheidung getroffen: Fluggesellschaften müssen Informationen ihrer Fluggäste weitergeben - dabei handelt es sich um bestimmte Daten.
Ähnliche News:
GPT-4 kann eigenständig bekannte Sicherheitslücken ausnutzen
Hersteller muss Sicherheitslücke bei Türschloss nennen
Sicherheitsfiasko bei Microsoft setzt Behörden unter Zugzwang
Amazon untersucht Sicherheitslücke in Fire-TV-Funktion
xz-utils: Wie die Computerwelt gerade haarscharf an einer Sicherheitskatastrophe vorbeigeschrammt is ...
Airbus winkt bei Cybersicherheitssparte von Atos ab
Update empfohlen: Kritische Sicherheitslücken in Android
USA nehmen chinesische Autos wegen Sicherheitsbedenken unter die Lupe
Sicherheitsforscher von Google hacken Playstation Portal
DE: Eine Million Patientendaten durch Sicherheitslücke offen im Netz
Hersteller muss Sicherheitslücke bei Türschloss nennen
Sicherheitsfiasko bei Microsoft setzt Behörden unter Zugzwang
Amazon untersucht Sicherheitslücke in Fire-TV-Funktion
xz-utils: Wie die Computerwelt gerade haarscharf an einer Sicherheitskatastrophe vorbeigeschrammt is ...
Airbus winkt bei Cybersicherheitssparte von Atos ab
Update empfohlen: Kritische Sicherheitslücken in Android
USA nehmen chinesische Autos wegen Sicherheitsbedenken unter die Lupe
Sicherheitsforscher von Google hacken Playstation Portal
DE: Eine Million Patientendaten durch Sicherheitslücke offen im Netz
Weitere News:
Das 25 Jahre alte Nokia 3210 ist zurück
Milliardenpleite: E-Autobauer Fisker Austria meldet Insolvenz an
Erneuerbare Energien machen 30 Prozent des weltweiten Strommix aus
US-Regierung will Huawei an weiteren Chipkäufen hindern
Amazons neue Lieferdrohnen haben ein Hitzeproblem
EU-Kommission treibt Verfahren gegen Online-Plattform X voran
Internationale Ermittler enttarnen Kopf hinter der Erpresserbande Lockbit
Cybertruck-ähnliches Elektroauto in China vorgestellt
Spieleentwickler: Für Dubai gibt es jetzt ein Gaming-Visum
DE: Telefónica verlagert Netzwerk-Kern mit Nokia in Amazon Cloud
Milliardenpleite: E-Autobauer Fisker Austria meldet Insolvenz an
Erneuerbare Energien machen 30 Prozent des weltweiten Strommix aus
US-Regierung will Huawei an weiteren Chipkäufen hindern
Amazons neue Lieferdrohnen haben ein Hitzeproblem
EU-Kommission treibt Verfahren gegen Online-Plattform X voran
Internationale Ermittler enttarnen Kopf hinter der Erpresserbande Lockbit
Cybertruck-ähnliches Elektroauto in China vorgestellt
Spieleentwickler: Für Dubai gibt es jetzt ein Gaming-Visum
DE: Telefónica verlagert Netzwerk-Kern mit Nokia in Amazon Cloud
Einen Kommentar schreiben
Kommentare
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.
(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 angestimmt...
;-)
© by Ress Design Group, 2001 - 2024