Een veilig en laag-overhead authenticatieprotocol voor voertuig ad hoc netwerken met batch- en overdrachtauthenticatie

Samenvatting

In een voertuig ad hoc netwerk (VANET) communiceren voertuigen met elkaar en moet elk bericht worden geverifieerd om kwaadaardige interferentie te voorkomen. Traditionele authenticatiemethoden verifiëren elk voertuig individueel, wat aanzienlijke vertragingen veroorzaakt. Om dit probleem aan te pakken, introduceert het voorgestelde onderzoek een authenticatiemechanisme dat batch- en overdrachtsauthenticatie combineert.

Samenvatting

Voertuigen Ad Hoc Netwerken (VANETs) vereisen veilige, efficiënte en schaalbare authenticatiemechanismen om vertrouwen tussen voertuigen en wegstationen (RSU's) te waarborgen. Traditionele één-op-één authenticatiebenaderingen leiden vaak tot hoge communicatie- en rekenlast, waardoor ze ongeschikt zijn voor grootschalige voertuigomgevingen. Dit leidt tot een beveiligingsverkeersopstopping, waardoor het proces inefficiënt en ongeschikt wordt voor realtime veiligheidstoepassingen. Om dit aan te pakken, stelt een studie een lichtgewicht authenticatieprotocol voor dat zowel batch- als transferauthenticatie ondersteunt, waardoor meerdere voertuigen gelijktijdig kunnen worden geauthenticeerd en authenticatievaliditeit tussen RSU's kan worden overgedragen zonder het volledige protocol opnieuw uit te voeren. Bij batchauthenticatie verifieert een wegstation een groep voertuigen gelijktijdig in plaats van één tegelijk, vergelijkbaar met een bewaker die een hele bus vol vooraf geverifieerde passagiers goedkeurt, wat vertragingen bij kruispunten of tolpoorten aanzienlijk vermindert. Bij overdrachtsauthenticatie worden de verificatiegegevens veilig overgedragen wanneer een voertuig van het ene wegstation naar het andere gaat, waardoor naadloze continuïteit mogelijk is zonder het proces opnieuw te starten, vergelijkbaar met een concertarmbandje waarmee bezoekers zonder herhaalde controles tussen de podia kunnen bewegen. Dit schema maakt gebruik van de wiskundige eigenschappen van Chebyshev-polynomen om sterke zekerheid te bieden met lagere overhead. Prestatieanalyse toont aan dat de voorgestelde methode een communicatiekosten van slechts 42n bytes behaalt en een aanzienlijk lagere rekencomplexiteit dan bestaande schema's. Deze aanpak verbetert de schaalbaarheid, vermindert berichtuitwisseling en handhaaft robuuste weerstand tegen veelvoorkomende aanvallen, waardoor het goed geschikt is voor realtime voertuigcommunicatie. Al met al verbetert dit nieuwe protocol de praktische bruikbaarheid van VANETs door de data-overhead te verminderen, authenticatie te versnellen en hoge verkeersvolumes efficiënt te beheren, waardoor het een veilige en schaalbare oplossing is voor de toekomst van intelligente transportsystemen.

Inleiding

Voertuigen ad-hoc netwerken (VANETs) stellen voertuigen in staat met elkaar te communiceren (vehicle-to-vehicle (V2V)) en met voertuigen naar weginfrastructuur (vehicle-to-infrastructure (V2I)) om de veiligheid en efficiëntie van het vervoer te verbeteren. In deze open draadloze omgeving kan elk voertuig veiligheidsberichten uitzenden (bijv. ongevalwaarschuwingen of verkeersupdates); Daarom is robuuste authenticatie cruciaal om te garanderen dat de berichten afkomstig zijn van legitieme bronnen. Tegelijkertijd stellen VANETs strikte prestatie-eisen, en wisselen voertuigen berichten uit op hoge frequenties (vaak 10 berichten per seconde), waardoor er slechts enkele milliseconden overblijven om elk bericht te verifiëren voordat het volgende bericht arriveert. Traditionele publieke-sleutel authenticatiemethoden, zoals de digitale handtekeningen van het elliptische kromme digitale handtekeningalgoritme (ECDSA), zoals in de WAVE/IEEE 1609.2-standaard, brengen aanzienlijke berekenings- en communicatieoverhead met zich mee. Het verifiëren van één enkele ECDSA-handtekening of het beheren van een openbaar sleutelcertificaat voor elk bericht kan een resource-constrained onboard unit (OBU) overbelasten en onaanvaardbare vertragingen veroorzaken wanneer meerdere berichten gelijktijdig binnenkomen. Bovendien veranderen voertuigen vaak van aanhechtingspunt (door van de ene wegmetro (RSU) naar de andere te gaan), wat herhaalde authenticatie of handschuddingen vereist, wat de latentie verder kan verhogen.

Kanaal	Frequentiebereik (GHz)	Prioriteit	Primaire functies
CCH-178	5.885 – 5.895	Hoog	Authenticatiecontrole, serviceadvertenties, initiële verspreiding van berichten via RSU's, batch-authenticatie.
SCH-172	5.855 – 5.865	Hoog	Tijdkritische berichten (batch-authenticatiebevestigingen, dringende veiligheidsmeldingen).
SCH-174	5.865 – 5.875	Medium tot hoog	Navigatie-gebaseerde validatie, verkeersbewuste batchcoördinatie (stedelijke mobiliteitsscenario's).
SCH-176	5.875 – 5.885	Laag tot Medium	Uitzendingen van intrekkingslijsten, groepsinloggegevensupdates, periodieke herauthenticatie-meldingen.
SCH-180	5.895 – 5.905	Medium	Beveiligde berichtuitwisselingen na authenticatie (updates/meldingen voor geauthenticeerde batches).
SCH-182	5.905 – 5.915	Laag	Niet-kritieke diensten (cloud-ondersteunde verificatie, internetcontroles, achtergrondberichten).
SCH-184	5.915 – 5.925	Medium tot hoog	Toepassingen met hoge doorvoersnelheid (videostreaming, kaartdistributie, OTA-updates voor geauthenticeerde groepen).

Tabel 1: DSRC-kanaalspecificaties voor beveiligde voertuignetwerken. Het legt het controlekanaal (CCH) en verschillende servicekanalen (SCH's) uit die in VANETs worden gebruikt. Al deze kanalen opereren binnen het frequentiebereik 5,855–5,925 GHz, en elk heeft een bandbreedte van 10 MHz. Deze opstelling ondersteunt soepele en georganiseerde communicatie, vooral voor batchauthenticatie en belangrijke veiligheidsberichten. CCH-178 (5,885–5,895 GHz) was het hoofdbesturingskanaal. Het wordt gebruikt om het authenticatieproces te starten en veiligheidsgerelateerde berichten te verzenden; hoogprioritaire SCH's, zoals SCH-172, SCH-174 en SCH-184, worden gebruikt voor tijdgevoelige taken, zoals noodmeldingen en grote datatransmissies, terwijl middellange en laag-prioritaire SCH's, zoals SCH-176, SCH-180 en SCH-182, minder urgente taken afhandelen, zoals het bijwerken van intrekkingslijsten, het opnieuw authenticeren van voertuigen of het beheren van algemene diensten. Afkortingen; DSRC = Dedicated Short-Range Communications; VANET = Voertuig ad hoc netwerk; CCH = Controlekanaal; SCH = Service Channel; GHz = Gigahertz; MHz = Megahertz.

Het toegewijde korteafstandscommunicatiespectrum (DSRC), zoals weergegeven in Tabel 1, illustreert het gebruik ervan in voertuignetwerken. Deze tabel geeft de kanaaltoewijzing weer in de toegewijde korteafstandscommunicatie (DSRC) 5,9 GHz-band (5,855–5,925 GHz), waarbij elk kanaal een bandbreedte van 10 MHz heeft. Het benadrukt het controlekanaal (CCH) en verschillende servicekanalen (SCH's) die worden gebruikt in voertuigen ad hoc netwerken (VANET's) om georganiseerde, geprioriteerde communicatie te waarborgen. Kanaal 178 fungeert als de primaire CCH voor het starten van de authenticatieprocessen en het uitzenden van veiligheidsgerelateerde berichten. Hoge prioriteit SCH's (zoals 172, 174 en 184) ondersteunen tijdkritische toepassingen zoals noodmeldingen en grote datatransfers, terwijl SCH's met gemiddelde en lage prioriteit (zoals 176, 180 en 182) minder urgente taken afhandelen, zoals het bijwerken van intrekkingslijsten, herauthenticatie van voertuigen en algemene diensten.

Een andere uitdaging is privacy. Voertuigen moeten worden geauthenticeerd zonder hun permanente identiteit in elk bericht te onthullen (om tracking te voorkomen). Oplossingen zoals pseudonieme certificaten bieden anonimiteit door tijdelijke identiteiten te gebruiken; ze brengen echter overheadkosten met zich mee voor het verspreiden en intrekken van grote aantallen certificaten. Een voertuig kan groepshandtekeningen gebruiken om berichten voor een groep te ondertekenen. Dit authenticeert het bericht terwijl de specifieke voertuigen anoniem blijven. Deze groepssignaturen, samen met andere publiek-sleutel methoden, zijn echter gebaseerd op complexe wiskunde, zoals bilineaire paringen en grote exponentiaties. Deze bewerkingen zijn niet praktisch voor een VANET-omgeving, die altijd snel beweegt en lage latentie vereist. Pakketverlies verergert deze situatie. Daarom is een lichtgewicht cryptografiemethode vereist. Daarom moet er een techniek worden ontwikkeld die snel meerdere berichten tegelijk kan controleren zonder privacy of veiligheid in gevaar te brengen. In deze context hebben onderzoekers de toepassing van Chebyshev-polynomen onderzocht, die twee belangrijke kenmerken bezitten die geschikt zijn voor cryptografie: de semigroep-eigenschap en chaotisch gedrag. Het belangrijkste voordeel van het gebruik van Chebyshev-polynoomoperaties is dat ze minder rekenkracht vereisen dan elliptische krommen. Deze speciale eigenschap is gebruikt om nieuwe authenticatiesystemen te bouwen die ideeën combineren uit symmetrische en publieke-sleutel cryptografie. Zo gebruiken ze eenrichtingsfuncties die uit deze polynomen zijn opgebouwd om gedeelde geheimen of digitale handtekeningen te creëren, die efficiëntie en niet-ontkenning bieden. Studies hebben al aangetoond dat wanneer deze Chebyshev-protocollen worden gebruikt voor authenticatie, de hoeveelheid werk die de boordunits van voertuigen moeten verrichten veel lager is. Deze studie geeft formele definities en wiskundige details van de op Chebyshev gebaseerde polynoombewerkingen die in het voorgestelde schema worden gebruikt. Specifiek baseert deze studie beveiliging op twee aannames die analoog zijn aan klassieke cryptografische moeilijke problemen: het Chebyshev-polynoom-discrete logaritmeprobleem (CPDLP) en het Chebyshev-polynoom Diffie–Hellman-probleem (CPDHP). Deze problemen zijn bekend als computationeel onoplosbaar, wat bewijst dat het vervalsen van de authenticatie van een voertuig of het imiteren van een geldige knoop computationeel onhaalbaar is. Bovendien wordt expliciet gesteld dat, wanneer Chebyshev-polynomen worden gedefinieerd over grote eindige velden met praktische bitlengtes (bijv. 160–256 bits), het ophalen van de polynoomgraad of geheime parameter uit een publieke polynoom computationeel onhaalbaar is met huidige klassieke algoritmen¹.

In de afgelopen jaren zijn de schema's CDAS (gecentraliseerd data-authenticatieschema) en DDAS (gedistribueerd data-authenticatieschema^{) voorgesteld} om elektriciteitsdata te verwerken in Vehicle-to-Grid (V2G)-systemen. Beide methoden toonden een betere snelheid, veiligheid en efficiëntie dan eerdere methoden en beschermden effectief de privacy van de gebruiker. Dit werk mist echter een echte implementatie en negeert dynamische prijsscenario's. Een slimme en efficiënte batchauthenticatiemethode voor V2G-netwerken die bilineaire paren en aggregatiehandtekeningen gebruikt om meerdere elektrische voertuigen (EV) handtekeningen gelijktijdig te verifiëren,^{werd voorgesteld} om tijd te besparen en rekenkracht te minimaliseren, maar dit werk behandelt niet hoe blockchain langetermijnopslag beïnvloedt. Een slimme batchauthenticatiebenadering voor V2G-netwerken, waarbij edge computing wordt gebruikt om dichte EV's te controleren,^{werd voorgesteld} met korte groepshandtekeningen en certificaatloze cryptografie om vertraging te verminderen en certificaatproblemen te voorkomen. De batch-authenticatiemethode voor V2G-netwerken met edge computing en korte groepshandtekeningen om groeps-EV's tegelijk te controleren,^{werd ontwikkeld} , maar het controleert echter niet volledig de prestaties in grotendeels drukke EV-gebieden; ze specificeerden het intrekkingsbeleid van EV's niet.

Er werd een raamwerk^{voorgesteld voor} privacygerichte gegevensdeling in V2G-netwerken met behulp van blockchain, een framework voor attribuutgebaseerde encryptie (ABE), maar in dit werk worden batchauthenticatie niet behandeld. Er is een privacybehoudende authenticatiemethode voor V2G-netwerken met blockchain en batchverwerking^{ontwikkeld om} elliptische krommcryptografie (ECC) te adresseren en groepen EV's gelijktijdig te controleren. Ze lossen echter niet de schaalbaarheidsuitdagingen aan voor dichte netwerken. Een blockchain-gebaseerd sleutelbeheer voor V2G dat ook batchverwerking gebruikt, stelde^enkele slimme contracten voor voor veilige sleuteldistributie, vernieuwing en intrekking, waarmee EV-privacy wordt gegarandeerd; Het controleert echter geen realtime werk en is niet duidelijk over het intrekken van elektrische voertuigen in een batch. Een lichtgewicht batch-authenticatiemethode voor VANETs^{werd voorgesteld} 9 die Chebyshev-polynomen gebruikt om veel voertuigen gelijktijdig te controleren met lage rekenkracht. De wiskundige kenmerken van Chebyshev-polynomen helpen zware cryptografische stappen te vermijden, waardoor het systeem sneller werkt en beter geschikt is voor realtime communicatie met voertuigen. Het handhaaft ook privacy en biedt sterke beveiliging. Het legt echter niet volledig uit hoe het zeer groot verkeer, bewegende voertuigen, ingetrokken gebruikers en het sleutelupdateproces zal beheren. Het batchauthenticatieschema van VANET met behulp van Chebyshev-polynomen^{werd gepresenteerd} om veel voertuig-ID's te verifiëren met minder vertraging. De chaotische delen van Chebyshev-polynomen ondersteunen anonieme ID's, sleutelgeneratie en privacy. Deze studie verklaarde echter weinig over druk verkeer, hogesnelheidsauto's, het verwijderen van slechte voertuigen in batches, overdrachtsauthenticatie en volledige sleutelafhandeling. Er werd een licht batch-authenticatiesysteem voor VANETs^ontwikkeld, een veilig systeem dat Chebyshev-polynomen gebruikt om grote groepen voertuigen tegelijk te controleren en tegen lage kosten. Het biedt privacy en maakt tracering mogelijk indien nodig. Echter, het bespreekt geen grootschalige netwerken. Het behandelt ook niet het werk met VANET-regels en volledige sleutelafhandeling. Een Chebyshev chaotische kaartgebaseerde batchauthenticatieschema voor VANETs^{werd voorgesteld} om meerdere voertuigen gelijktijdig te authenticeren met lagere rekenkosten. Het beschermt de privacy van gebruikers door anonieme ID's te bieden, traceermogelijkheden te bieden en zware cryptografische operaties over te slaan, waardoor het geschikt is voor live communicatie. Het verklaart echter niet de intrekking van kwaadaardige voertuigen of naleving van de VANET-regels. Een lichte batchauthenticatie voor VANET-netwerken door gebruik te maken van authenticatie- en sleutelovereenkomsten (AKA)-schema's gecombineerd met Chebyshev chaotische kaarten om meerdere voertuigberichten tegelijk te controleren,^{werd voorgesteld} om tijd en werk te besparen. Het systeem handhaaft privacy, boodschapveiligheid en maakt het geschikt voor echt verkeer. Het legt echter niet uit hoe het werkt voor grote groepen voertuigen, de invoering van snelle RSU-wijzigingen, of het verwijderen van kwaadaardige voertuigen in batches. Er werd een lichte batchauthenticatiemethode voor VANETs ontwikkeld met Chebyshev chaotische kaarten^{om veel} voertuigberichten snel te controleren met minder vertraging en minder rekenkracht. Het onderhoudt privacy, veilige sleuteluitwisseling en tracering zonder zware crypto, waardoor het geschikt is voor realtime communicatie via voertuigen. Het artikel legt echter niet uit hoe het systeem omgaat met grote aantallen voertuigen, voertuigen die zich slecht gedragen intrekt, of snel rijdende auto's die tussen RSU's wisselen. Het mist ook integratie met standaard VANET-protocollen en gebruikt geen edge computing om de prestaties te verbeteren.

Deze studie stelt een authenticatiekader voor VANETs voor dat uitsluitend Chebyshev-polynomiaal-gebaseerde mechanismen gebruikt voor batchverificatie van berichten en overdrachtauthenticatie tijdens voertuigoverdrachten. Het batchverificatieschema maakt het mogelijk dat een RSU of ontvangend voertuig meerdere berichtsignaturen samen kan verifiëren in plaats van individueel, wat de vertraging per bericht drastisch vermindert wanneer het verkeer^{zwaar belast is}. Het overdrachtsauthenticatieprotocol maakt het mogelijk dat een voertuig continu geauthenticeerd blijft terwijl het over verschillende RSU-dekkingsgebieden beweegt, zonder bij elke hop een volledige en dure handdruk uit te voeren. In plaats daarvan wordt een lichtgewicht dynamisch sessiemechanisme gebruikt om de authenticatiestatus van de ene sessie of domein naar een andere over te dragen. Door Chebyshev-polynomen in beide aspecten te gebruiken, zorgt dit schema ervoor dat alleen eenvoudige wiskundige bewerkingen (zoals modulaire vermenigvuldiging en optelling uit polynomiële evaluatie) nodig zijn voor VANET-entiteiten, waardoor het zeer geschikt is voor de beperkte computationele omgeving van OBU's.

Protocol

Voorrondes

Systeemmodel: Het VANET-systeem bestaat uit drie primaire entiteitstypen: trusted authority (TA), wegeenheden (RSU's) en voertuigen met boordunits (OBU's). De TA is centraal bij het initiëren van de initialisatie, sleutelbeheer en af en toe intrekking. Het is volledig vertrouwd en meestal gecontroleerd door de overheid of infrastructuur. Elke RSU is een stationaire eenheid die langs de weg is ingezet. Dit biedt een communicatie-infrastructuur; in dit model wordt aangenomen dat RSU's via een beveiligde backbone (bijvoorbeeld glasvezel of een beveiligd netwerk) met de TA zijn verbonden, zodat ze updates van de TA kunnen verzenden of ontvangen wanneer dat nodig is. Voertuigen zijn uitgerust met OBU's die voertuig-naar-voertuig (V2V) en voertuig-tot-infrastructuur (V2I) communicatie mogelijk maken. Deze studie gaat ervan uit dat OBU's beschikken over een manipulatiebestendig apparaat (TPD) of een beveiligde hardwaremodule die cryptografische sleutels kan opslaan en cryptografische bewerkingen in isolatie kan uitvoeren, waardoor langetermijngeheimen worden beschermd tegen fysieke compromittering.

Communicatiemodel: Voertuigen zenden periodieke one-hop berichten uit (zoals basisveiligheidsberichten) via een draadloos kanaal (bijv. IEEE 802.11p of C-V2X PC5) die door andere voertuigen en RSU's binnen bereik kunnen worden ontvangen. Deze berichten moeten door de ontvangers worden geauthenticeerd om hun geldigheid te waarborgen. RSU's sturen ook periodiek informatie (verkeerslichten en waarschuwingen) naar voertuigen via vehicle-to-infrastructure (V2I) communicatie. In dit werk ligt de primaire focus op de authenticatie van vehicle-to-infrastructure (V2I) berichten. Dit betekent dat de voertuigen door een RSU worden geauthenticeerd via batchauthenticatie wanneer ze het dekkingsgebied van de RSU binnenkomen. V2V-authenticatie kan op vergelijkbare wijze worden uitgevoerd door voertuigen hetzelfde handtekeningschema te laten gebruiken; batchverificatie is echter het meest voordelig bij RSU's, die mogelijk de berichten van meerdere voertuigen gelijktijdig moeten verifiëren.

Figuur 1: Batchverificatie in het VANET-netwerk. Deze figuur toont de architectuur die wordt gebruikt voor batchauthenticatie en illustreert hoe meerdere OBU's in voertuigbatches (bijv. BATCH1 en BATCH2) draadloos communiceren met RSU's op kruispunten of verkeerspunten, die via bekabelde verbindingen met een centrale TA. Het protocol maakt collectieve verificatie van authenticatieverzoeken in hoogdicht verkeer mogelijk met behulp van Chebyshev-polynomen. Elk voertuig berekent een authenticatietoken door T_k(x) mod P te evalueren, verbindt deze met zijn identiteit en tijdstempel, hasht de waarde en verzendt deze naar de RSU. De RSU verzamelt de tokens en verifieert ze gezamenlijk.
Afkortingen; VANET = Voertuig ad hoc netwerk; OBU = On-board Unit; RSU = Wegeenheid; TA = Trusted Authority. Klik hier om een grotere versie van deze figuur te bekijken.

Batchauthenticatie in VANETs: In omgevingen met veel verkeer kunnen RSU's binnen zeer korte tijd authenticatieverzoeken van meerdere voertuigen ontvangen. Het uitvoeren van individuele authenticatie voor elk verzoek kan aanzienlijke rekenvertragingen veroorzaken en de communicatie-overhead vergroten. Zoals geïllustreerd in Figuur 1, maakt het voorgestelde batch-authenticatiemechanisme gebruik van de wiskundige eigenschappen van Chebyshev-polynomen om efficiënte verificatie van meerdere voertuigen^{te bereiken 15}. Elk voertuig berekent een authenticatietoken α_i door een Chebyshev-polynoom T_vi(T_r(x)) te evalueren modulo een groot priemgetal p, waarbij v_i de privésleutel van het voertuig is, r de privésleutel van de RSU en x een publieke basis. De uitgang wordt gekoppeld aan de digitale identiteit en tijdstempel van het voertuig, gehasht en verzonden naar de RSU. De RSU aggregeert alle ontvangen tokens tot één waarde en verifieert ze collectief met behulp van de relatie T_r.∑vi(x) modulo p. Deze aanpak vermindert het aantal dure verificatieoperaties aanzienlijk, waardoor de schaalbaarheid verbetert in omgevingen zoals kruispunten, tolpoorten en verkeersknelpunten.

Figuur 2: Overdrachtauthenticatie in VANET-netwerken. Deze figuur toont het voorgestelde lichtgewicht overdrachtsauthenticatieprotocol dat een voertuig toestaat om van de huidige RSU (Roadside unit 1) naar de volgende RSU (Roadside unit 2) te gaan zonder volledige herauthenticatie, wat de latentie kan verminderen. RSU1 genereert een geautoriseerde kaart met behulp van hash-gebaseerde concatenatie van publieke sleutels en een willekeurige waarde, en past vervolgens Chebyshev-polynoomoperaties toe om tussenliggende parameters (ω₁, ω₂), een initiële sleutel (IK), een versleutelde sessiesleutel en een tijdelijke sleutel (TK) te berekenen. Deze waarden worden naar het voertuig gestuurd en doorgestuurd naar RSU2. RSU2 verifieert de gegevens en herstelt de sessiesleutel met behulp van omgekeerde Chebyshev-operaties, waarmee een veilige sessiesleutel (SK) wordt ingesteld voor ononderbroken communicatie. Het protocol ondersteunt snelle en veilige overdrachten die geschikt zijn voor snelle voertuigcommunicatieomgevingen. Afkortingen; VANET = Voertuig ad hoc netwerk; RSU = Wegeenheid; IK = Begintoonsoort; TK = Tijdelijke Sleutel; SK = Sessiesleutel. Klik hier om een grotere versie van deze figuur te bekijken.

Overdrachtsauthenticatie voor naadloze overdracht: Naarmate voertuigen tussen RSU-dekkingszones bewegen, veroorzaakt het opnieuw uitvoeren van volledige authenticatie bij elke nieuwe RSU vertraging en kan het veilige sessies verstoren. Het overdrachtsverificatieproces, zoals weergegeven in Figuur 2, maakt een veilige en lichte overdracht mogelijk. De huidige RSU genereert een geautoriseerde kaart AC_i door de concatenatie van de publieke sleutels van het voertuig en de RSU samen met een willekeurige sessieparameter b_{i te} hashen. Met behulp van Chebyshev-polynoomtransformaties T_AC(x) modulo p berekent de RSU tussenliggende waarden ω_{1,ω 2} = ω₁ FPK_Ri, een sessie-specifieke sleutel IK_i = H(ω₁FPK_vi) en een versleutelde sessiesleutel ω₃ = (E_IKi(SK_i)). Ten slotte wordt een tijdelijke sleutel TK_i afgeleid uit γ = b_i. IK ^i-1 met een andere Chebyshev-transformatie T_γ(x). De tuple (TK_{i,ω 2,ω 3}) wordt naar de volgende RSU gestuurd, die deze gebruikt om te verifiëren en veilige communicatie met het voertuig te hervatten zonder volledige herauthenticatie uit te voeren. Dit mechanisme zorgt voor minimale verstoring en extreem lage latentie voor voertuigen die met hoge snelheid rijden. 

Mobiliteit en overdracht: Voertuigen die van de ene locatie naar de andere in het netwerk bewegen, kunnen meerdere RSU's tegenkomen op hun route. Door Chebyshev polynomiaal-gebaseerde batchauthenticatie voor initiële RSU-toegang te combineren met overdrachtsauthenticatie voor mobiliteitsoverdrachten, bereikt het systeem zowel schaalbaarheid als continuïteit¹⁶. Batchauthenticatie verwerkt effectief veel gelijktijdige voertuigauthenticaties, terwijl overdrachtauthenticatie de vertragingen bij herauthenticatie tijdens RSU-overgangen vermindert. Samen vormen deze mechanismen een sterk, wiskundig veilig en prestatie-effectief kader voor VANET-authenticatie.

Chebyshev-polynomiale voorlopige voorlopige beweringen

Chebyshev-polynomen (T_n(x)) vormen het wiskundige kernconcept van het authenticatieschema. Ze volgen een recidiviteitsformule en hebben kenmerken die ze geschikt maken voor eenrichtingscryptografische functies. De belangrijkste definities en eigenschappen zijn als volgt.

Definitie: Het Chebyshev-polynoom van graad n (voor geheel getal n≥ 0):

T_n(x) = cos(n arccos x),

voor x [-1,1]]. Evenveel kan men het definiëren over de reële getallen of modulo een priemgetal P. De eerste paar Chebyshev-polynomen van het eerste soort T_n(x) tot n=4 (graad varieert van 0 tot 4) beschreven in Tabel 2.

S.No	Diploma	Beschrijving	Resultaat
1	T0(x)	T0(x) = cos(0.arccros x) = cos(0) = 1	T0(x) = 1
2	T1(x)	T1(x) = cos(1.arccros x) = cos(arcos x) = 1	T1(x) = x
3	T2(x)	T2(x) = cos(2.arccros x) = 2cos2(arcos x)-1 = 2x2-1 (aangezien cos(2θ) = 2cos2θ-1)	T2(x) = 2x2-1
4	T3(x)	T3(x) = cos(3.arccros x) = 4x 3-3x (Aangezien cos(3θ) = 4cos3θ-3cosθ)	T3(x) = 4x3-3x
5	T4(x)	T4(x) = 8x4-8x 2+1 (Aangezien cos(4θ) = 8cos4θ-8cos2θ+1)	T4(x) = 8x4-8x 2+1

Tabel 2: Evaluatie van de recurrence relation. Deze tabel toont de eerste paar Chebyshev-polynomen van het eerste soort T_n(x) (voor graden 0 tot 4), berekend met behulp van de recurrence relation die de wiskundige basis vormt van het voorgestelde authenticatieschema. Afkortingen; T_n(x) = Chebyshev-polynoom van graad n geëvalueerd op x; n = Polynoomgraad; x = Invoervariabele.

In het algemeen voldoen ze aan de recurrence:

T_n+1(x) = 2xT_n(x) - T_n-1(x), met T₀(x) =1, T₁(x) = x .

Deze recurrence maakt efficiënte iteratieve berekening van T_n(x) mogelijk.

Semi-groep eigenschap: Vergelijkbaar met multiplicatieve exponenten tonen Chebyshev-polynomen een compositie-eigenschap specifiek:

T_m(T_n(x)) = T_m.n(x) ,

voor elke positieve gehele getallen m,n. Met andere woorden, als men eerst een Chebyshev-polynoom van graad n op x toepast, en vervolgens een ander Chebyshev-polynoom van graad m op het resultaat toepast, is het equivalent aan het direct toepassen van een Chebyshev-polynoom van graad m * n op x. Deze eigenschap is centraal bij het gebruik van Chebyshev-polynomen in Diffie–Hellman, zoals sleuteluitwisselings- en authenticatieprotocollen, omdat het lijkt op de eigenschap (g^a)^b = (g^b)^a van exponentiatie in een cyclische groep.

Chaotisch gedrag: Voor graden n>1 is aangetoond dat de afbeelding x T_n(x) (wanneer x in [-1,1]) chaotisch is onder specifieke voorwaarden. Informeel kan een kleine verandering in x grote veranderingen in T_n(x) veroorzaken wanneer n groot is, en T_n(x) is verdeeld in [-1,1] op een manier die voor grote n willekeurig kan lijken. Deze "pseudo-willekeurigheid" is nuttig in de cryptografie voor het produceren van niet-voorspelbare outputs.

Chebyshev polynoom discrete logaritmeprobleem (CPDLP): Dit lijkt op het discrete logaritmeprobleem, maar gebruikt Chebyshev-polynomen. Gegeven een priemmodulus P en publieke waarden x en y = T_n(x) mod P, is het erg moeilijk om het geheel getal n te vinden. Met andere woorden, als men x en y kent, is het uiterst moeilijk om n te bepalen wanneer de getallen groot zijn. Dit lijkt op het klassieke discrete log-probleem, waarbij het lastig is om^{een mod P} te vinden vanuit g en een mod P.

Chebyshev-polynoom Diffie–Hellman-probleem (CPDHP): Gegeven x, T_a(x) en T_b(x) (voor willekeurige geheime gehele getallen a,b), is het moeilijk om T_a.b(x) te berekenen zonder zowel a als b te kennen. Dit weerspiegelt het Diffie–Hellman-probleem: geef g^a en g^b, een tegenstander kan g^ab niet berekenen. In de Chebyshev-context let op dat T_ab(x) = T_a(T_b(x)) = T_b(T_a(x)) volgens de semi-groep eigenschap; dus als twee partijen elk één van a,b kennen, kunnen ze elk T_ab(x) gemakkelijk berekenen, terwijl een afluisteraar die alleen de individuele resultaten kent, dat niet kan.

De beveiliging van het systeem is afhankelijk van deze aannames (CPDLP en CPDHP zijn onbuigzaam). Voor praktische implementatie werkt deze studie in een eindig veld (modulo een grote priemgetal P) om onderscheidend gedrag te garanderen. Typisch wordt een willekeurig getal x in [2,P-2] gekozen als systeemparameter (dit speelt een rol als een generator in een multiplicatieve groep). De TA kiest zo'n x en publiceert deze als onderdeel van de publieke parameters. Dan kunnen de Chebyshev-polynomen modulo P worden berekend via de recurrentieformule. Hoewel x in dit geval niet in [-1,1] zit, kan men de isomorfisme tussen Chebyshev-polynomen en hyperbolische cosinus gebruiken voor waarden buiten [-1,1], of simpelweg de recidivisie algebraïsch modulo P behandelen. De chaotische eigenschap geldt in strikte zin voor reële intervallen; voor cryptografisch gebruik is studie echter gebaseerd op de onvoorspelbaarheid door de hardheid van de CPDHP in het eindige veld.

Aanvalsmodel

In het voorgestelde batch- en transferauthenticatiekader voor VANETs met Chebyshev-polynomen beschouwen onderzoekers een realistisch dreigingslandschap waarin zowel externe als interne tegenstanders kunnen proberen veilige communicatie te verstoren. Externe aanvallers zijn entiteiten buiten het voertuignetwerk die erop gericht zijn kwaadaardige berichten te onderscheppen, wijzigen of injecteren zonder over legitieme authenticatiegegevens te beschikken¹⁷. Interne aanvallers daarentegen zijn gecompromitteerde of kwaadaardige voertuigen of RSU's die al geldige inloggegevens bezitten, maar deze misbruiken om zich voor anderen voor te doen, data te vervalsen of gecoördineerde aanvallen uit te voeren.

Man-in-the-middle (MIM) aanval: De tegenstander onderschept en geeft berichten door tussen twee legitieme partijen, terwijl hij mogelijk hun inhoud aanpast. Het protocol verzacht dit door gebruik te maken van wederzijdse authenticatie en sessiesleutelovereenkomst op basis van de moeilijkheid van het Chebyshev-polynoomprobleem, zodat onderschepte data computationeel onhaalbaar is om te manipuleren zonder detectie¹⁸.

Replay-aanval: Een aanvaller stuurt eerder vastgelegde geldige berichten opnieuw om ongeautoriseerde toegang te krijgen of netwerkverwarring te veroorzaken. Onderzoekers pakken dit probleem aan door tijdstempels en sessie-identificaties in het authenticatieproces op te nemen, zodat berichten alleen geldig zijn binnen een kort tijdsvenster en later niet opnieuw gebruikt kunnen worden.

Imitatie-aanval: wordt ook beschouwd, waarbij een aanvaller probeert zich voor te doen als een legitiem voertuig of RSU. Door het authenticatieproces strak te binden aan unieke Chebyshev-polynoomsleutels en digitale handtekeningen te verifiëren tijdens batch- en overdrachtauthenticatie, zorgt het systeem ervoor dat alleen echte deelnemers kunnen communiceren.

Afluisteraanvallen: waarbij tegenstanders passief communicatie monitoren om gevoelige informatie te verkrijgen. Het voorgestelde schema waarborgt vertrouwelijkheid door beveiligde sessiesleutelgeneratie; Daarom blijven datapakketten zelfs als ze worden onderschept, onleesbaar zonder de geheime sleutel.

Collusie-aanvallen: waarbij meerdere gecompromitteerde entiteiten samenwerken om het authenticatieprotocol te doorbreken. Het gebruik van geaggregeerde verificatie bij batchauthenticatie en onafhankelijke verificatie bij overdrachtauthenticatie voorkomt dat gecompromitteerde knooppunten collectief geldige inloggegevens vervalsen.

Symbool	Beschrijving
Ui	i-de voertuig in de VANET
RSU	Wegafdeling
TA	Vertrouwde Autoriteit
TSi	Tijdstempel gegenereerd door voertuig
TARSU	Tijdstempel gegenereerd door RSU
TSTA	Tijdstempel gegenereerd door TA
ΔT	Maximaal toegestane klokverschil voor berichtgeldigheid
DIDUi	Pseudoniem-gebaseerde identiteit van voertuig Ui
DIDRSU	Pseudoniem-gebaseerde identiteit van RSU
Tv(x)	Chebyshev-polynoom met de privésleutel "v" van het voertuig
Tv(x)	Chebyshev-polynoom met vertrouwde autoriteit privésleutel "b"
TPKRi(x)	Chebyshev-polynoom met de publieke sleutel van RSU
α	Identiteitshash berekend door voertuig Ui
βik	Identiteitshash berekend door RSU voor Ui
θi	Polynomiale verificatietoken van Ui gebruikt voor aggregatie
θ'agg	Verwacht geaggregeerd polynoom (TA berekend)
θagg	Geaggregeerd polynoomproduct van alle voertuigen Θi
mi,n i	Willekeurige sessiesleutelseed waarden van gegenereerd door TA
ri, ui	Geheime scalairwaarden toegewezen aan respectievelijk RSU en voertuig
PUBRSU	Publieke sleutel van RSU
PUBui	Publieke sleutel van voertuig Ui
E1(i),E2(i)	Maskeringswaarden berekend via hash voor vertrouwelijkheid
IK(i)	Componenten van authenticatie-/sessiesleuteluitwisselingsberichten
SKi	Laatste sessiesleutel vastgesteld tussen voertuig en RSU
H(.)	Botsingsbestendige hashfunctie
ESK(.)/DSK(.)	Symmetrische encryptie/decryptie met behulp van sessiesleutel
||	Concatenatie-operator
mod P	Modulaire operatie over een groot priemgetal p

Tabel 3: Notities. Deze tabel geeft een overzicht van de belangrijkste symbolen, parameters en cryptografische notaties die door het hele artikel worden gebruikt.

Voorgesteld schema:

Dit voorgestelde schema bestaat uit twee hoofdcomponenten: (i) een batchberichtverificatiemechanisme met Chebyshev-polynomen en (ii) een overdrachtsauthenticatieprotocol voor voertuigoverdrachten tussen RSU's. Deze studie geeft eerst een overzicht van de systeemopzet en beschrijft vervolgens elk onderdeel in detail in de volgende secties, samen met het feit dat de terminologie en notatie zijn geïllustreerd in Tabel 3.

Voertuigregistratie:

Stap 1: Elk voertuig start het authenticatieproces. Laat er n voertuigen u_{1,u 2,u 3}....,u_n zijn die op tijd t proberen te authenticeren met dezelfde RSU. Elk voertuig u_i berekent:

α_i = H(DID_ui|| T_vi(T_b(x)) || TS_i) (1)

Vervolgens stuurt u_i:

I₁⁽ⁱ⁾ = (α_{i,DID ui,TS i}) (2)

naar de RSU.

Stap 2: RSU aggregeert en bereidt zich voor op batchauthenticatie nadat alle I₁⁽ⁱ⁾ is ontvangen, RSU voert uit:

1. Tijdstempelvalidatie: |TS_c - TS_i| ≤ ΔT
2. Bereken RSU-responshash voor elk voertuig: β_i = H(DID_RSU||T_ri(T_b(x))||TS_RSU)
3. Bereken Chebyshev-tokens: θ_i = T_vi(T_PKRi(x)) mod P
4. Alle tokens samenvoegen:   
5. Bereid batchbericht voor en stuur naar TA.

Stap 3: TA verifieert batchhandtekeningen

1. Verifieer tijdstempel: TS_TA - TS_RSU ≤ ΔT
2. Controleer RSU hash: β_i^* = H(DID_RSU || T_b(T_ri(x)) || TS_RSU) = β_i 
3. Controleer voertuig-hash: α_i^* = H(DID_ui|| T_b(T_vi(x)|| TS_i) = α_i 
4. Aggregatieverificatie: _θ'agg = T_∑vi(x)mod P
H(θ_agg) = H(θ_agg^') Als alle slagen slaagt, is authenticatie succesvol.

Stap 4: Sessiesleutel opstellen (in batch) voor elke u_i, voert TA uit:
1. Bereken: E₁⁽ⁱ⁾ = H(PUB_RSU||r_i||TS_RSU)
E₂⁽ⁱ⁾ = H(PUB_ui||v_i||TS_i).
2. Genereer willekeurige waarden m_{i,n i}Z^*_P 
3. Bereken sessiesleutel: SK_i = H(m_i||n_i||r_i||v_i)
4. Construeren versleutelde componenten:
I₃⁽ⁱ⁾ = H(m_i)E₁⁽ⁱ⁾ 
I₄⁽ⁱ⁾ = H(n_i)E₂⁽ⁱ⁾
I₅⁽ⁱ⁾ = SK_iH(m_i)
I₆⁽ⁱ⁾ = SK_iH(n_i)
Send bundle: {I₃⁽ⁱ⁾,I₄⁽ⁱ⁾,I₅⁽ⁱ⁾,I₆⁽ⁱ⁾,TS_TA}ⁿ_i=1 

Stap 5: RSU stuurt sessiegegevens naar elk voertuig u_i 
1. Herstellen: H(m_i) = I₃⁽ⁱ⁾E₁⁽ⁱ⁾ 
SK_i = I₅⁽ⁱ⁾H(m_i)
2. Stuur naar u_i : {I₄⁽ⁱ⁾,I₆⁽ⁱ⁾,TS_RSU+1}

Stap 6: Voertuigen voltooien de sessiesleutelextractie voor elke u_i 
1. Bereken: H(n_i) = I₄⁽ⁱ⁾E₂⁽ⁱ⁾ 
SK_i =_{I 6}⁽ⁱ⁾H(n_i)
2. Gebruik de sessiesleutel om berichten te versleutelen:
E_SKi(m_i||PUB_{u i}||PUB_RSU)

Stap 7: Overdrachtsauthenticatie voor naadloze overdracht
Stap 7.1: Geautoriseerde kaartgeneratie door RSU zal worden berekend
AC_i = H(FPK_vi|| FPK_Ri|| b_i)
ω₁ = T_AC(x) mod P,ω₂=ω₁FPK_Ri 
IK_i = H(ω₁||FPK_vi)
ω₃ = E_IKi(SK_i)
TK_i = T_γ(x) mod P
γ = b_i. IK ^i-1 
Stuur (TK_{i,ω 2,ω 3}) naar de volgende RSU.
Stap 7.2: Validatie door de naburige RSU
T_AC(x) = ω₂FPK_Ri-1 
IK_i ^'= H(T_AC(x)||FPK_vi)
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P
Stap 7.3: Sessiesleutelherstel (nieuwe RSU-ontsleutelingen)
SK_i = D_IKi^'(ω₃)

Het voertuig u_i is nu geauthenticeerd binnen de nieuwe RSU-zone en kan beveiligde communicatie voortzetten, met alle notaties die in het algoritme in Tabel 3 zijn beschreven.

In Figuur 3 hebben onderzoekers in detail uitgelegd hoe de overdrachtauthenticatie met een zwembaandiagram wordt uitgelegd, hoe de huidige RSU de autorisatie overdraagt aan de nieuwe RSU door zijn parameters (TK_{i,ω 2,ω 3}) te verzenden en nadat deze parameters van de nieuwe RSU is ontvangen, de verificaties wordt gevalideerd door gebruik te maken van
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P . Vanaf deze sessie wordt de sleutel teruggevonden door de nieuwe RSU en naar het voertuig gestuurd.

Figuur 3: Overdracht van authenticatie tussen twee RSU's. Deze figuur illustreert het stroomdiagram van het overdrachtsauthenticatieprotocol in een VANET, waarbij een voertuig veilige overdracht faciliteert tussen de huidige Roadside Unit (RSU 1) en de volgende Roadside Unit (RSU 2). Het proces begint met geauthenticeerde kaartgeneratie en cryptografische berekeningen bij RSU 1, gevolgd door het verzenden van parameters naar het voertuig, validatie en het terugvinden van sessiesleutels bij RSU 2, en eindigt met het opzetten van een beveiligde sessiesleutel. Afkortingen; VANET = Voertuig ad hoc netwerk; RSU = Wegstation. Klik hier om een grotere versie van deze figuur te bekijken.

Resultaten

Beveiligingsanalyse

Informele beveiligingsanalyse

Imitatie-aanval: Een tegenstander kan proberen zich voor te doen als een legitiem_{voertuig of een} wegeenheid (RSU) om ongeautoriseerde toegang te verkrijgen of authenticatie te verstoren, maar dergelijke imitatie is computationeel onhaalbaar vanwege de robuuste beveiligingsmechanismen. Elk voertuig en RSU maakt gebruik van Chebyshev-polynom...

Discussie

Het voorgestelde batch- en overdrachtsauthenticatieschema verbetert de VANET-prestaties aanzienlijk door de beperkingen van traditionele één-op-één verificatie te overwinnen. Door batchauthenticatie kunnen meerdere voertuigen gelijktijdig worden geauthenticeerd door een RSU, wat de reken- en communicatiebelasting vermindert en efficiënte grootschalige operaties in dicht verkeer mogelijk maakt. Dit mechanisme zorgt voor snellere authenticatiecycli en een beter gebruik van bandbreedte, waa...

Materialen

Lijst van materialen gebruikt in dit artikel

Naam	Bedrijf	Catalogusnummer	Opmerkingen
Component	Specificatie / Details
Batchgrootte (n)	10 tot 100 voertuigen
Vergelijkingsschema's	[20],[21],[22] (analytisch uit literatuur)
Cryptografische Primitiven	Chebyshev-polynomen (aangepaste recursieve implementatie), SHA-256-hash
Hardwareplatform	Intel Core i7-processor, 16 GB RAM, Windows 11 (of uw specifieke besturingssysteem)
Sleutelbibliotheken	hashlib (voor SHA-256), time (voor metingen), ingebouwde wiskundige bewerkingen
Meetmethode	Gemiddelde uitvoeringstijd over 1000 iteraties met behulp van time-module
Prime Modulus (p)	256–512 bits (kleine waarden zoals 7919 gebruikt voor testen; opgeschaald voor beveiligingsanalyse)
Programmeertaal	Python 3.10
Simulatietype	Cryptografische bewerkingstiming (geen netwerksimulator gebruikt)