Mit jeder neuen Schnittstelle wächst die Angriffsfläche, und mit ihr das Risiko, dass eine unsichere Kommunikation zum Einfallstor wird. (Bild: Erstellt mit KI)
Formale Analyse von Automotive-Protokollen

Wie ein mathematischer Beweis Schwachstellen identifiziert, die kein Test findet

Je mehr Schnittstellen im vernetzten Fahrzeug, desto größer die potenzielle Angriffsfläche. Ob Diagnose, Ladevorgänge oder Over-the-Air-Updates: Unsichere Kommunikation kann zur Gefahr für Daten und sicherheitskritische Fahrzeugfunktionen werden. Abhilfe kann die formale Sicherheitsanalyse bieten, die in der Kryptografie längst Standard ist. Dieser Artikel zeigt anhand konkreter Befunde, warum sie auch in der Automobilbranche sinnvoll wäre.

Meistgelesen

Bundesinnenminister Alexander Dobrindt, Bundesforschungsministerin Dorothee Bär, Sven Schulze, Ministerpräsident von Sachsen-Anhalt und Prof. Dr.-Ing. Anke Kaysser-Pyzalla, Vorstandsvorsitzende des DLR eröffneten am 18.08.2026 am Flughafen Magdeburg-Cochstedt feierlich das Technologiezentrum für Drohensicherheit. (Bild: Stefanie Eckardt)
Unbemannte Luftfahrzeuge

Neues Technologiezentrum Drohnensicherheit geht in Cochstedt an den Start

Newsletter

Die wichtigsten Infos, Analysen und Berichte aus dem Themenkomplex „Mobilität von morgen"

Mit Klick auf „Newsletter abonnieren“ erkläre ich mich mit der Verarbeitung und Nutzung meiner Daten gemäß Einwilligungserklärung (bitte aufklappen für Details) einverstanden und akzeptiere die Nutzungsbedingungen. Weitere Informationen finde ich in unserer Datenschutzerklärung. Die Einwilligungserklärung bezieht sich u. a. auf die Zusendung von redaktionellen Newslettern per E-Mail und auf den Datenabgleich zu Marketingzwecken mit ausgewählten Werbepartnern (z. B. LinkedIn, Google, Meta).

Aufklappen für Details zu Ihrer Einwilligung

Wirtschaft & Management

Technik & Entwicklung

Mit jeder neuen Schnittstelle wächst die Angriffsfläche, und mit ihr das Risiko, dass eine unsichere Kommunikation zum Einfallstor wird. (Bild: Erstellt mit KI)
Formale Analyse von Automotive-Protokollen

Wie ein mathematischer Beweis Schwachstellen identifiziert, die kein Test findet

Asahi Kasei hat eine neuartige Prä-Lithiierungstechnologie für Hochvolt-Lithium-Ionen-Batterien mit siliziumbasierten Anoden entwickelt.  (Bild: WATA3 - stock.adobe.com)
Batterietechnik

Neue Technologie steigert Energiedichte von Li-Ionen-Batterien mit hohem Si-Anteil

Verkehr & Transport

Aerofugia und Sysgo sind eine Kooperation eingegangen. (Bild: Aerofugia)
Luft- und Raumfahrt

eVTOLs: Aerofugia und Sysgo konsolidieren sicherheitskritische Funktionen

Neues aus der Anbieterdatenbank