An ECC-Diffie Hellman Authentication Scheme with PK-based Revocation for VANETs

Stel je een wereld voor waarin elke auto op de weg constant met elke andere auto en met de weginfrastructuur praat en informatie deelt over files, plotseling remmen of gladde stukken om ongelukken te voorkomen. Deze visie van een slimme, verbonden snelweg rust op een enorm, onzichtbaar netwerk dat een Vehicular Ad-hoc Network wordt genoemd. Echter, omdat deze berichten via open draadloze kanalen worden verzonden, zijn ze kwetsbaar voor onderschepping en manipulatie. Een kwaadwillende actor zou zich als een auto kunnen voordoen, een waarschuwing voor een niet-bestaand obstakel kunnen vervalsen, of de bewegingen van een bestuurder kunnen volgen om hun privacy te schenden. De centrale uitdaging voor ingenieurs is het creëren van een systeem dat verifieert dat elk bericht echt is en afkomstig is van een vertrouwde bron, zonder het verkeer te vertragen of te onthullen wie er rijdt.

In een recente studie hebben onderzoekers Laxmi Chandolia en Om Pal van de Universiteit van Delhi een nieuwe beveiligingsarchitectuur voorgesteld die precies deze problemen probeert op te lossen. Ze hebben een methode ontwikkeld waarmee voertuigen elkaar en de wegapparatuur snel en veilig kunnen authenticeren, terwijl de identiteiten van de bestuurders verborgen blijven voor nieuwsgierige ogen. Hun aanpak combineert verschillende gevestigde cryptografische hulpmiddelen in een gestroomlijnd proces. In plaats van te vertrouwen op zware, trage verificatiemethoden die het systeem ophouden, gebruiken ze een lichtgewicht digitale ondertekeningstechniek gebaseerd op elliptische kromme-wiskunde. Deze methode stelt een voertuig in staat om te bewijzen wie het beweert te zijn met zeer weinig rekenkracht. Om te garanderen dat berichten tijdens het transport niet zijn gewijzigd, gebruikt het systeem een specifieke code, bekend als een message authentication code, die fungeert als een uniek zegel dat alleen door de zender en ontvanger kan worden geverifieerd.

Een cruciaal onderdeel van hun oplossing is de manier waarop deze met privacy omgaat. In dit systeem zendt een voertuig niet zijn echte identiteit uit, zoals een kenteken of de naam van de eigenaar. In plaats daarvan gebruikt het een reeks veranderende, tijdelijke namen, of pseudoniemen, voor elke communicatiesessie. Deze namen veranderen frequent, waardoor het voor een buitenstaander bijna onmogelijk is om verschillende berichten aan hetzelfde voertuig te koppelen over een bepaalde tijd. Dit zorgt ervoor dat het netwerk weet dat een bericht geldig is, maar de route van de bestuurder niet kan volgen. Het systeem is echter niet ontworpen om volledig anoniem te zijn voor autoriteiten. Als een voertuig zich kwaadwillend gedraagt, zoals het versturen van valse waarschuwingen om een ongeluk te veroorzaken, heeft een vertrouwde centrale instantie de mogelijkheid om de tijdelijke naam terug te leiden naar de echte identiteit van de bestuurder. Deze balans maakt alledaagse privacy mogelijk terwijl verantwoording voor kwaadwillende actoren behouden blijft.

De onderzoekers hebben ook het moeilijke probleem aangepakt van het intrekken van de toegang voor gecompromitteerde of gestolen voertuigen. In veel bestaande systemen is het controleren of het digitale certificaat van een voertuig is ingetrokken traag en vereist het het downloaden van grote lijsten met slechte actoren. De auteurs introduceerden een nieuwe methode met een public-key-gebaseerde intrekkingslijst die functioneert als een zeer efficiënte opzoektabel. Hierdoor kunnen wegunits controleren of een voertuig verboden is bijna onmiddellijk, ongeacht hoeveel voertuigen er in het netwerk aanwezig zijn. Hun simulaties toonden aan dat deze nieuwe methode honderden keren sneller is bij het controleren van de status van intrekking dan traditionele methoden, zelfs wanneer duizenden voertuigen betrokken zijn. Deze snelheid is cruciaal omdat een vertraging bij het verifiëren van een bericht het verschil kan betekenen tussen een veilige stop en een botsing.

Om aanvallers te voorkomen die oude, geldige berichten opnieuw afspelen om het systeem te misleiden, vertrouwt het schema op nauwkeurige tijdsynchronisatie met behulp van Global Positioning System-signalen. Elk bericht wordt voorzien van een tijdstempel van het exacte moment van verzending. Als een ontvanger detecteert dat een bericht te oud is, wordt het onmiddellijk weggegooid. De onderzoekers hebben ook waarborgen ingebouwd tegen GPS-spoofing, waarbij een aanvaller probeert het tijdsignaal te vervalsen. Als het GPS-signaal onbetrouwbaar is, schakelt het systeem automatisch over op het gebruik van tijdsignalen die door de wegunits worden uitgezonden, die zelf gesynchroniseerd zijn met een beveiligde centrale klok. Dit zorgt ervoor dat het systeem robuust blijft, zelfs in tunnels of stedelijke canyons waar satellietsignalen zwak kunnen zijn.

Het team heeft hun voorstel getest via rigoureuze wiskundige analyse en computersimulaties. Ze hebben aangetoond dat het systeem verschillende soorten aanvallen kan weerstaan, waaronder pogingen om berichten te vervalsen, voertuigen na te bootsen of het netwerk te misleiden door valse gegevens te accepteren. In hun tests werd de tijd die nodig is om een bericht te verifiëren gemeten in microseconden, een snelheid die snel genoeg is om de hoge volumes aan gegevens uit te wisselen op drukke snelwegen. De hoeveelheid gegevens die nodig is om deze beveiligingscontroles te verzenden, werd ook zeer laag gehouden, zodat de netwerkbandbreedte beschikbaar blijft voor de werkelijke verkeersinformatie. Door snelle verificatie, sterke privacy en efficiënte intrekking te combineren, hebben de onderzoekers een praktisch pad geschetst naar het beveiligen van de toekomst van verbonden transport, waardoor de droom van een veilig, geautomatiseerd snelwegnetwerk meer haalbaar wordt.