Secure-Channel-Free Key Distribution for Identity-Based Signatures with One-Time Pseudonyms in Intelligent Transport Systems

Jedes Mal, wenn ein Auto bremst, beschleunigt oder abbiegt, sendet es einen digitalen Schrei an die Fahrzeuge in der Umgebung aus. In der Welt der intelligenten Transportsysteme geschehen diese Nachrichten dutzendste Male pro Sekunde und tragen lebenswichtige Informationen über Geschwindigkeit und Position, die es Autos ermöglichen, Kollisionen zu vermeiden, die sie nicht sehen können. Damit dieses System funktioniert, muss jedes Fahrzeug darauf vertrauen können, dass die empfangene Nachricht echt ist und von einem echten Auto stammt und nicht von einem Hacker, der versucht, einen Massenunfall zu verursachen. Doch dieses Vertrauen schafft ein Paradoxon: Um eine Nachricht zu verifizieren, muss ein Empfänger normalerweise wissen, wer sie gesendet hat, aber genau zu wissen, wer jede Nachricht sendet, erlaubt es jedem, die gesamte Reise eines Fahrers zu verfolgen und somit dessen Zuhause, Arbeitsplatz und Gewohnheiten zu enthüllen. Die Herausforderung für Ingenieure besteht darin, ein System zu bauen, in dem ein Auto beweisen kann, dass es legitim ist, ohne seine wahre Identität preiszugeben, während es gleichzeitig Behörden ermöglicht, einen Fahrer zu entlarven, falls dieser sich gefährlich verhält.

Dieses empfindliche Gleichgewicht, bekannt als bedingte Privatsphäre (conditional privacy), erforderte lange Zeit eine komplexe Infrastruktur aus digitalen Zertifikaten und sicheren Kanälen, um geheime Schlüssel zu verteilen. Eine neue Studie von Muhammad Asghar Khan schlägt einen Weg vor, diesen Prozess zu vereinfachen, indem die Notwendigkeit eines sicheren Kanals vollständig eliminiert wird und gleichzeitig das Tracking von Fahrern erschwert wird. Die Forschung führt eine Methode ein, bei der Fahrzeuge sich registrieren und ihre geheimen Schlüssel über eine offene, öffentliche Funkverbindung erhalten können, ganz ähnlich einer Standard-Internetverbindung, ohne Angst vor Abfangen haben zu müssen. Der Kern dieser Innovation liegt in der Verwendung einer spezifischen Art von mathematischer Kurve, einer Genus-2-hyperelliptischen Kurve, die im Vergleich zu den Standardkurven, die derzeit in vielen Sicherheitssystemen verwendet werden, schnellere Berechnungen und kleinere Datengrößen ermöglicht. Durch die Nutzung dieser mathematischen Struktur stellt das vorgeschlagene Schema sicher, dass jede Sicherheitsnachricht mit einem eindeutigen, einmaligen Namen signiert wird, der nicht mit vorherigen Nachrichten verknüpft werden kann, was das Auto effektiv für neugierige Augen unsichtbar macht, während es dennoch der zentralen Behörde gegenüber voll verantwortlich bleibt.

Die Forscher bauten ein vollständiges System auf, in dem eine vertrauenswürdige Behörde, die als Generator für private Schlüssel fungiert, diese temporären Namen und die entsprechenden geheimen Schlüssel an die Fahrzeuge ausgibt. Im Gegensatz zu früheren Methoden, die eine sichere, private Leitung zur Übermittlung dieser Geheimnisse erforderten, verschlüsselt dieser neue Ansatz die Identität und die Schlüssel so, dass nur das spezifische Fahrzeug und die Behörde sie dekodieren können, obwohl die Daten über einen öffentlichen Kanal übertragen werden. Das bedeutet, ein Auto kann an einer Straßeneinheit (Roadside Unit) anhalten, neue Anmeldedaten anfordern und diese sofort erhalten, ohne zuvor eine schwierige, sichere Verbindung herstellen zu müssen. Einmal registriert, signiert das Fahrzeug seine Sicherheitsnachrichten unter Verwendung eines frischen, einmaligen Pseudonyms für jede einzelne Übertragung. Dies stellt sicher, dass selbst wenn ein Hacker Tausende von Nachrichten desselben Autos sammelt, er diese nicht miteinander verknüpfen kann, um eine Route zu rekonstruieren. Wenn jedoch ein Fahrer jedoch gegen das Gesetz verstößt oder sich bösartig verhält, kann die zentrale Behörde den einmaligen Namen auf das echte Fahrzeug zurückverfolgen und dessen Fähigkeit entziehen, zukünftige Nachrichten zu senden.

Ein kritischer Fehler in mehreren früheren Versuchen zur Lösung dieses Problems war die Anfälligkeit für „Key-Replacement“-Angriffe (Schlüsselersetzungsangriffe), bei denen ein Angreifer einen öffentlichen Schlüssel durch seinen eigenen ersetzen konnte, um Signaturen zu fälschen. Das neue Schema verhindert dies, indem es den Verifizierungsschlüssel direkt aus dem einmaligen Namen und dem öffentlichen Schlüssel der Behörde ableitet und die Signatur untrennlich an das Vertrauen des Systems bindet. Die Studie beweist mathematisch, dass das Fälschen einer Signatur ohne den korrekten geheimen Schlüssel unter den aktuellen Annahmen rechnerisch unmöglich ist. In Bezug auf die Geschwindigkeit haben die Forscher die Zeit gemessen, die zum Signieren und Verifizieren einer Nachricht benötigt wird, und fanden heraus, dass ihre Methode insgesamt nur 1,44 Millisekunden dauert. Dies ist signifikant schneller als die besten existierenden Methoden auf Basis von Standard-Elliptischen-Kurven, die 2,56 Millisekunden dauerten, und drastisch schneller als Methoden, die auf Pairing-basierter Kryptographie basieren, welche über 5 Millisekunden benötigten.

Um zu verstehen, was diese Zahlen in der realen Welt bedeuten, simulierten die Autoren ein belebtes Verkehrsszenario, in dem ein einzelner Empfänger Nachrichten von vielen benachbarten Fahrzeugen innerhalb einer strikten Sicherheitsfrist von 100 Millisekunden prüfen muss. Da die neue Methode so schnell ist, kann ein einzelner Prozessorkern erfolgreich Nachrichten von 92 benachbarten Fahrzeugen innerhalb dieses Zeitlimits verifizieren. Im Gegensatz dazu konnten die besten Elliptischen-Kurven-Schemata nur 77 Fahrzeuge handhaben, und die Pairing-basierten Schemata konnten lediglich 32 bewältigen, bevor das System zu langsam für eine sichere Reaktion wäre. Dieser Unterschied ist in dichtem Stadtverkehr entscheidend, wo eine Verzögerung von auch nur einem Bruchteil einer Sekunde verhindern könnte, dass ein Auto auf eine plötzliche Gefahr reagiert. Die Studie untersuchte auch den Speicherbedarf für diese einmaligen Namen und stellte fest, dass ein Fahrzeug, das zwei Stunden lang fährt, nur etwa 4,3 Megabyte Speicherplatz benötigt, um die notwendigen Anmeldedaten zu halten – eine vernachlässigbare Menge für moderne Bordcomputer.

Die Forschung räumt ein, dass das System zwar hocheffizient, aber nicht ohne Einschränkungen ist. Da die zentrale Behörde die Macht besitzt, jeden privaten Schlüssel zu generieren, entsteht eine „Key-Escrow“-Situation (Schlüsselverwahrung), in der die Behörde theoretisch in der Lage ist, Nachrichten im Namen eines jeden Fahrzeugs zu signieren. Der Autor stellt fest, dass dies ein akzeptabler Kompromiss ist, da die Behörde bereits damit betraut ist, Lizenzen und Anmeldedaten auszustellen, schlägt jedoch vor, dass zukünftige Versionen modifiziert werden könnten, um diese zentrale Kontrolle zu entfernen. Zudem ist das mathematische Problem, mit dem das System gesichert wird, obwohl es für klassische Computer derzeit unknackbar ist, durch einen zukünftigen Quantencomputer angreifbar, genau wie viele andere aktuelle Verschlüsselungsmethoden. Trotz dieser Einschränkungen zeigt die Studie einen klaren Weg auf zu einer sichereren, privateren und effizienteren Kommunikation zwischen autonomen Fahrzeugen und beweist, dass hohe Sicherheit keine schwere, langsame oder komplexe Infrastruktur erfordert.