Un protocollo di autenticazione sicuro e a basso overhead per reti ad hoc di veicoli con autenticazione batch e transfer

Sommario

In una rete ad hoc veicolare (VANET), i veicoli comunicano tra loro e ogni messaggio deve essere verificato per prevenire interferenze dannose. I metodi di autenticazione tradizionali verificano ogni veicolo individualmente, causando ritardi significativi. Per affrontare questo problema, la ricerca proposta introduce un meccanismo di autenticazione che combina l'autenticazione batch e quella per trasferimento.

Abstract

Le Reti Ad Hoc Vecolari (VANET) richiedono meccanismi di autenticazione sicuri, efficienti e scalabili per garantire la fiducia tra veicoli e unità stradali (RSU). Gli approcci tradizionali di autenticazione uno-a-uno spesso portano a elevati costi di comunicazione e calcolo, rendendoli inadatti per ambienti veicolari su larga scala. Questo porta a un ingorgo di sicurezza, rendendo il processo inefficiente e inadatto alle applicazioni di sicurezza in tempo reale. Per affrontare questo problema, lo studio propone un protocollo di autenticazione leggero che supporta sia l'autenticazione batch che quella di trasferimento, consentendo l'autenticazione simultanea di più veicoli e consentendo il trasferimento della validità dell'autenticazione tra le RSU senza dover rieseguire l'intero protocollo. Nell'autenticazione a batch, un'unità stradale verifica un gruppo di veicoli simultaneamente invece che uno alla volta, un po' come una guardia che approva un intero autobus pieno di passeggeri pre-verificati, riducendo notevolmente i ritardi agli incroci o ai casaggi. Nell'autenticazione per trasferimento, quando un veicolo si sposta dall'area di un'unità stradale all'altra, i dati di verifica vengono trasferiti in modo sicuro, permettendo una continuità senza riavviare il processo, simile a un braccialetto da concerto che permette ai partecipanti di spostarsi tra i palchi senza controlli ripetuti. Questo schema sfrutta le proprietà matematiche dei polinomi di Chebyshev per fornire una forte sicurezza con costi di carico ridotti. L'analisi delle prestazioni mostra che il metodo proposto raggiunge un costo di comunicazione di soli 42n byte e una complessità computazionale significativamente inferiore rispetto agli schemi esistenti. Questo approccio migliora la scalabilità, riduce lo scambio di messaggi e mantiene una robusta resistenza contro attacchi comuni, rendendolo particolarmente adatto alle comunicazioni veicolari in tempo reale. Nel complesso, questo nuovo protocollo migliora la praticità dei VANET riducendo il sovraccarico dei dati, accelerando l'autenticazione e gestendo in modo efficiente volumi elevati di traffico, rendendolo una soluzione sicura e scalabile per il futuro dei sistemi di trasporto intelligenti.

Introduzione

Le reti ad hoc veicolari (VANET) permettono ai veicoli di comunicare tra loro (veicolo-to-veicolo (V2V)) e con i veicoli verso le infrastrutture stradali (vehicle-to-infrastructure (V2I)) per migliorare la sicurezza e l'efficienza dei trasporti. In questo ambiente wireless aperto, qualsiasi veicolo può trasmettere messaggi di sicurezza (ad esempio, avvisi di incidente o aggiornamenti sul traffico); Pertanto, un'autenticazione robusta è fondamentale per garantire che i messaggi provengano da fonti legittime. Contemporaneamente, i VANET impongono requisiti di prestazione rigorosi e i veicoli scambiano messaggi ad alte frequenze (spesso 10 messaggi al secondo), lasciando solo pochi millisecondi per verificare ogni messaggio prima che arrivi il messaggio successivo. I metodi tradizionali di autenticazione a chiave pubblica, come le firme digitali dell'algoritmo di firma digitale a curva ellittica (ECDSA), come nello standard WAVE/IEEE 1609.2, comportano notevoli overhead di calcolo e comunicazione. La verifica di una singola firma ECDSA o la gestione di un certificato di chiave pubblica per ogni messaggio può sovraccaricare un'unità a bordo (OBU) con risorse limitate e causare ritardi inaccettabili quando arrivano più messaggi contemporaneamente. Inoltre, i veicoli cambiano spesso punto di attacco (spostandosi da un'unità stradale (RSU) a un'altra), richiedendo autenticazioni ripetute o strette di mano, il che può aumentare ulteriormente la latenza.

Canale	Gamma di frequenze (GHz)	Priorità	Funzioni primarie
CCH-178	5.885 – 5.895	Alto	Controllo dell'autenticazione, pubblicità di servizio, diffusione iniziale dei messaggi dalle RSU, avvio dell'autenticazione batch.
SCH-172	5.855 – 5.865	Alto	Messaggi critici nel tempo (confermi di autenticazione batch, notifiche di sicurezza urgenti).
SCH-174	5.865 – 5.875	Da media ad alta	Validazione basata sulla navigazione, coordinamento batch consapevole del traffico (scenari di mobilità urbana).
SCH-176	5.875 – 5.885	Da basso a medio	Trasmissione di liste di revoca, aggiornamenti delle credenziali di gruppo, avvisi periodici di riautenticazione.
SCH-180	5.895 – 5.905	Medium	Scambi di messaggi sicuri post-autenticazione (aggiornamenti/notifiche per lotti autenticati).
SCH-182	5.905 – 5.915	Basso	Servizi non critici (verifica assistita dal cloud, controlli basati su internet, messaggi di background).
SCH-184	5.915 – 5.925	Da media ad alta	Applicazioni ad alta velocità (streaming video, distribuzione mappe, aggiornamenti OTA per gruppi autenticati).

Tabella 1: Specifiche dei canali DSRC per reti veicoli sicure. Spiega il canale di controllo (CCH) e i diversi canali di servizio (SCH) utilizzati nei VANET. Tutti questi canali operano nell'intervallo di frequenze 5,855–5,925 GHz, e ciascuno ha una larghezza di banda di 10 MHz. Questa configurazione supporta una comunicazione fluida e organizzata, specialmente per l'autenticazione batch e i messaggi di sicurezza importanti. CCH-178 (5,885–5,895 GHz) era il canale di controllo principale. Viene utilizzato per avviare il processo di autenticazione e inviare messaggi legati alla sicurezza; gli sch ad alta priorità, come SCH-172, SCH-174 e SCH-184, sono utilizzati per compiti sensibili al tempo, come allerte di emergenza e grandi trasferimenti di dati; gli sch di media e bassa priorità, come SCH-176, SCH-180 e SCH-182, gestiscono compiti meno urgenti, come l'aggiornamento delle liste di revoca, la riautenticazione dei veicoli o la gestione di servizi generali. Abbreviazioni; DSRC = Comunicazioni Dedicate a Breve Raggio; VANET = Rete ad Hoc Vecolare; CCH = Canale di Controllo; SCH = Canale di Servizio; GHz = Gigahertz; MHz = Megahertz.

Lo spettro dedicato di comunicazione a corto raggio (DSRC), come mostrato nella Tabella 1, ne illustra l'uso nelle reti veicolare. Questa tabella delinea l'allocazione dei canali nella banda dedicata delle comunicazioni a corto raggio (DSRC) a 5,9 GHz (5,855–5,925 GHz), con ogni canale che ha una larghezza di banda di 10 MHz. Mette in evidenza il canale di controllo (CCH) e i vari canali di servizio (SCH) utilizzati nelle Reti Ad Hoc Vecolali (VANET) per garantire una comunicazione organizzata e prioritaria. Il canale 178 funge da CCH principale per l'avvio dei processi di autenticazione e la trasmissione di messaggi relativi alla sicurezza. Gli SCH ad alta priorità (come 172, 174 e 184) supportano applicazioni critiche in termini di tempo come allerti di emergenza e grandi trasferimenti dati, mentre gli SCH di media e bassa priorità (come 176, 180 e 182) gestiscono compiti meno urgenti, inclusi aggiornamenti della lista di revoca, riautenticazione dei veicoli e servizi generali.

Un'altra sfida è la privacy. I veicoli dovrebbero essere autenticati senza rivelare la loro identità permanente in ogni messaggio (per evitare il tracciamento). Soluzioni come i certificati pseudonimi garantiscono anonimato utilizzando identità temporanee; tuttavia, introducono costi generali per la distribuzione e revoca di un gran numero di certificati. Un veicolo può utilizzare schemi di firma di gruppo per firmare messaggi per un gruppo. Questo autentica il messaggio mantenendo anonimi i veicoli specifici. Tuttavia, queste firme di gruppo, insieme ad altri metodi a chiave pubblica, si basano su matematica complessa, come accoppiamenti bilineari ed esponenziazioni grandi. Queste operazioni non sono pratiche per un ambiente VNET, che si muove sempre velocemente e richiede una bassa latenza. La perdita di pacchetti peggiora questa situazione. Pertanto, è necessario un metodo di crittografia leggero. Pertanto, è necessario sviluppare una tecnica che possa controllare rapidamente più messaggi contemporaneamente senza compromettere la privacy o la sicurezza. In questo contesto, i ricercatori hanno studiato l'applicazione dei polinomi di Chebyshev, che possiedono due caratteristiche significative appropriate per la crittografia: la proprietà del semigruppo e il comportamento caotico. Il principale vantaggio dell'uso di operazioni polinomiali di Chebyshev è che consumano meno complessità computazionale rispetto alle curve ellittiche. Questa proprietà speciale è stata utilizzata per costruire nuovi sistemi di autenticazione che combinano idee della crittografia simmetrica e della crittografia a chiave pubblica. Ad esempio, usano funzioni unidirezionali costruite da questi polinomi per creare segreti condivisi o firme digitali, che forniscono efficienza e non ripudiazione. Gli studi hanno già dimostrato che quando questi protocolli Chebyshev vengono utilizzati per l'autenticazione, la quantità di lavoro che le unità di bordo dei veicoli devono svolgere è molto inferiore. Questo studio fornisce definizioni formali e dettagli matematici delle operazioni basate sui polinomi di Chebyshev utilizzate nello schema proposto. In particolare, questo studio basa la sicurezza su due assunzioni analoghe ai problemi difficili crittografici classici: il problema del logaritmo discreto polinomiale di Chebyshev (CPDLP) e il problema polinomiale di Diffie–Hellman di Chebyshev (CPDHP). Questi problemi sono noti per essere computazionalmente irrisolvibili, il che dimostra che falsificare l'autenticazione di un veicolo o impersonare un nodo valido è computazionalmente inviabile. Inoltre, è esplicitamente affermato che, quando i polinomi di Chebyshev sono definiti su grandi campi finiti con lunghezze di bit pratiche (ad esempio, 160–256 bit), recuperare il grado polinomiale o il parametro segreto da un polinomio pubblico è computazionalmente inviabile con gli attuali algoritmi^{classici 1}.

Negli ultimi anni,^{sono stati proposti} gli schemi CDAS (centralized data authentication scheme) e DDAS (distributed data authentication scheme) 2 per gestire i dati elettrici nei sistemi Vehicle-to-Grid (V2G). Entrambi i metodi hanno mostrato maggiore velocità, sicurezza ed efficienza rispetto agli approcci precedenti e hanno efficacemente protetto la privacy degli utenti. Tuttavia, questo lavoro manca di implementazione nel mondo reale, ignora gli scenari di prezzo dinamico. È^stato proposto uno schema di autenticazione batch intelligente ed efficiente per le reti V2G che utilizza coppie bilineari e firme aggregate per verificare contemporaneamente più firme di veicoli elettrici (EV) per risparmiare tempo e minimizzare la potenza di calcolo, ma questo lavoro non affronta come la blockchain influisce sull'archiviazione a lungo termine. Un approccio di autenticazione batch intelligente per le reti V2G, utilizzando edge computing per controllare contemporaneamente veicoli elettrici densi, fu^{proposto 4} , utilizzando firme di gruppo brevi e crittografia certificateless per ridurre i ritardi ed evitare problemi di certificato. Il metodo di autenticazione batch per le reti V2G che utilizza edge computing e brevi firme di gruppo per controllare i veicoli elettrici di gruppo contemporaneamente è stato^{creato 5} ma, tuttavia, non verifica completamente le prestazioni nelle aree elettriche fortemente affollate, non è stata specificata la politica di revoca degli EV.

Un framework per la condivisione dei dati focalizzato sulla privacy nelle reti V2G che utilizzano blockchain è stato^{proposto 6} un framework per la crittografia basata sugli attributi (ABE), ma in questo lavoro non affrontano l'autenticazione batch. È^stato creato un metodo di autenticazione che preserva la privacy per le reti V2G utilizzando blockchain e elaborazione batch, per affrontare la crittografia a curva ellittica (ECC) basata sul controllo simultaneo di gruppi di EV. Tuttavia, non riescono ad affrontare le sfide di scalabilità per le reti dense. Una gestione delle chiavi basata su blockchain per V2G, che utilizza anche l'elaborazione batch, ha proposto⁸ pochi smart contract per la distribuzione, il rinnovo e la revoca sicura delle chiavi, garantendo così la privacy dei veicoli elettrici; Tuttavia, non controlla il lavoro in tempo reale e non è chiaro riguardo alla revoca dei veicoli elettrici in un lotto. Un metodo di autenticazione batch leggero per i VANET è stato^{proposto 9} che utilizza polinomi di Chebyshev per controllare molti veicoli simultaneamente con bassa capacità di calcolo. Le caratteristiche matematiche dei polinomi di Chebyshev aiutano a evitare pesanti passaggi crittografici, quindi il sistema funziona più velocemente ed è più adatto alla comunicazione in tempo reale tra veicoli. Mantiene inoltre la privacy e garantisce una forte sicurezza. Tuttavia, non spiega completamente come gestirà traffico molto elevato, veicoli in movimento, utenti revocati e il processo di aggiornamento delle chiavi. Lo schema di autenticazione batch VANETs, utilizzando polinomi di Chebyshev, è stato presentato¹⁰ per verificare molti ID veicoli con ritardo minore. Le parti caotiche dei polinomi di Chebyshev supportano ID anonimi, generazione di chiavi e privacy. Tuttavia, questo studio non ha spiegato molto sul traffico intenso, le auto ad alta velocità, la rimozione dei veicoli difettosi a lotti, l'autenticazione dei trasferimenti e la gestione completa delle chiavi. Fu creato un sistema di autenticazione a batch leggero per i^VANET, un sistema sicuro che utilizzava polinomi di Chebyshev per controllare grandi gruppi di veicoli contemporaneamente a basso costo. Garantisce privacy e consente il tracciamento se necessario. Tuttavia, non discute delle reti su larga scala. Inoltre non affronta il lavoro con le regole VANET e la gestione completa delle chiavi. È stato proposto uno schema di autenticazione batch basato su mappe caotiche Chebyshev per i VANET¹² per autenticare più veicoli simultaneamente con costi computazionali ridotti. Mantiene la privacy degli utenti fornendo ID anonimi, capacità di tracciamento e saltando operazioni crittografiche pesanti, rendendolo adatto alla comunicazione in tempo reale. Tuttavia, non spiega la revoca dei veicoli dannosi né la conformità alle norme VANET. È stata proposta un'autenticazione batch leggera per le reti VANET utilizzando schemi di autenticazione e accordo di chiave (AKA) combinati con mappe caotiche di Chebyshev per controllare più messaggi del veicolo contemporaneamente^{, 13} per risparmiare tempo e lavoro. Il programma mantiene la privacy, la sicurezza dei messaggi e lo rende adatto al traffico reale. Tuttavia, non spiega come funzioni per grandi gruppi di veicoli, l'adozione di cambiamenti rapidi nelle RSU o la rimozione dei veicoli dannosi a lotti. Un metodo di autenticazione a batch leggero per i VANET utilizzando mappe caotiche di Chebyshev è stato^{creato 14} per controllare rapidamente molti messaggi di veicoli con meno ritardo e meno calcolo. Mantiene la privacy, lo scambio sicuro di chiavi e il tracciamento senza pesante crittografia, rendendolo adatto alla comunicazione in tempo reale con i veicoli. Tuttavia, l'articolo non spiega come il sistema gestisca un gran numero di veicoli, annulli i veicoli che si comportano male o come le auto veloci che cambiano RSU. Inoltre manca di integrazione con i protocolli standard VANET e non utilizza l'edge computing per aumentare le prestazioni.

Questo studio propone un framework di autenticazione per i VANET che utilizza esclusivamente meccanismi basati su polinomi di Chebyshev per la verifica batch dei messaggi e l'autenticazione tramite trasferimento durante i trasferimenti di trasferimento. Lo schema di verifica batch permette a una RSU o veicolo ricevente di verificare insieme più firme di messaggio invece che singolarmente, riducendo drasticamente il ritardo per messaggio quando il traffico è molto carico⁸. Il protocollo di autenticazione per trasferimento consente a un veicolo di rimanere continuamente autenticato mentre si sposta tra diverse aree di copertura RSU senza eseguire una stretta di mano completa e costosa ad ogni salto. Invece, viene utilizzato un meccanismo di sessione dinamico leggero per trasferire lo stato di autenticazione da una sessione o dominio a un altro. Impiegando polinomi di Chebyshev in entrambi gli aspetti, questo schema garantisce che per le entità VANET siano necessarie solo operazioni matematiche semplici (come la moltiplicazione modulare e l'addizione tramite valutazione polinomiale), rendendolo altamente adatto all'ambiente computazionale vincolato delle OBU.

Protocollo

Preliminari

Modello di sistema: Il sistema VANET è composto da tre tipi principali di entità: autorità affidabile (TA), unità stradali (RSU) e veicoli con unità di bordo (OBU). Il TA è centrale per avviare l'inizializzazione, la gestione delle chiavi e le revoche occasionali. È pienamente affidabile e tipicamente controllato dal governo o dalle infrastrutture. Ogni RSU è un'unità stazionaria schierata lungo la strada. Questo fornisce un'infrastruttura di comunicazione; in questo modello, si presume che le RSU siano collegate al TA tramite una backbone sicura (ad esempio, fibra o una rete sicura) così da poter inviare o ricevere aggiornamenti dal TA secondo necessità. I veicoli sono dotati di OBERTI che consentono le comunicazioni tra veicoli (V2V) e veicoli tra infrastrutture (V2I). Questo studio presume che gli OBU dispongano di un dispositivo a prova di manomissione (TPD) o di un modulo hardware sicuro che può memorizzare chiavi crittografiche ed eseguire operazioni crittografiche in isolamento, proteggendo i segreti a lungo termine da compromessi fisici.

Modello di comunicazione: I veicoli trasmettono messaggi periodici di un solo salto (come messaggi di sicurezza di base) tramite un canale wireless (ad esempio, IEEE 802.11p o C-V2X PC5) che possono essere ricevuti da altri veicoli e RSU nel raggio d'azione. Questi messaggi devono essere autenticati dai destinatari per garantirne la validità. Le RSU inviano anche periodicamente informazioni (semafori e avvisi) ai veicoli tramite la comunicazione veicolo-infrastruttura (V2I). In questo lavoro, l'attenzione principale è sull'autenticazione dei messaggi vehicle-to-infrastructure (V2I). Significa che i veicoli vengono autenticati da una RSU tramite un'autenticazione batch quando entrano nella regione di copertura della RSU. L'autenticazione V2V può essere gestita in modo simile facendo sì che i veicoli utilizzino lo stesso schema di firme; tuttavia, la verifica batch è più vantaggiosa nelle RSU, che potrebbero dover verificare contemporaneamente i messaggi di molti veicoli.

Figura 1: Verifica batch nella rete VANET. Questa figura mostra l'architettura utilizzata per l'autenticazione batch, illustrando come più OBU in batch di veicoli (ad esempio, BATCH1 e BATCH2) comunichino in modalità wireless con le RSU agli incroci o ai punti di traffico, collegati tramite collegamenti cablati a una TA centrale. Il protocollo consente la verifica collettiva delle richieste di autenticazione in traffico ad alta densità utilizzando polinomi di Chebyshev. Ogni veicolo calcola un token di autenticazione valutando T_k(x) mod P, lo concatena con la sua identità e timestamp, hasha il valore e lo trasmette all'RSU. La RSU aggrega i token e li verifica collettivamente.
Abbreviazioni; VANET = Rete ad Hoc Vecolare; OBU = Unità a bordo; RSU = Unità Stradale; TA = Autorità di Fiducia. Clicca qui per visualizzare una versione più grande di questa figura.

Autenticazione batch nei VANET: In ambienti ad alta densità di traffico, le RSU possono ricevere richieste di autenticazione da più veicoli in un lasso di tempo molto breve. L'autenticazione individuale per ogni richiesta può causare ritardi computazionali significativi e aumentare il sovraccarico della comunicazione. Come illustrato nella Figura 1, il meccanismo proposto di autenticazione batch sfrutta le proprietà matematiche dei polinomi di Chebyshev per ottenere una verifica efficiente^{multi-veicolo 15}. Ogni veicolo calcola un token di autenticazione α_i valutando un polinomio di Chebyshev T_{v i}(T_r(x)) modulo un grande numero primo p, dove v_i è la chiave privata del veicolo, r è la chiave privata dell'RSU e x è una base pubblica. L'output viene concatenato con l'identità digitale e il timestamp del veicolo, hashato e trasmesso all'RSU. La RSU aggrega tutti i token ricevuti in un unico valore e li verifica collettivamente usando la relazione T_{r.∑v i}(x) modulo p. Questo approccio riduce significativamente il numero di costose operazioni di verifica, migliorando così la scalabilità in ambienti come incroci, caselli e punti di strozzatura del traffico.

Figura 2: Autenticazione per trasferimento nelle reti VNET. Questa figura mostra il protocollo di autenticazione del handover leggero proposto che permette a un veicolo di passare dall'attuale RSU (Roadside unit 1) alla successiva RSU (Roadside unit 2) senza una completa riautenticazione, il che può ridurre la latenza. RSU1 genera una scheda autorizzata utilizzando la concatenazione basata su hash di chiavi pubbliche e un valore casuale, quindi applica operazioni polinomiali di Chebyshev per calcolare parametri intermedi (ω₁, ω₂), una chiave iniziale (IK), una chiave di sessione criptata e una chiave temporanea (TK). Questi valori vengono inviati al veicolo e inoltrati a RSU2. RSU2 verifica i dati e recupera la chiave di sessione utilizzando operazioni inverse di Chebyshev, stabilendo una chiave di sessione sicura (SK) per una comunicazione ininterrotta. Il protocollo supporta handover rapidi e sicuri adatti a ambienti di comunicazione veicolare ad alta velocità. Abbreviazioni; VANET = Rete ad Hoc Vecolare; RSU = Unità Stradale; IK = Chiave Iniziale; TK = Chiave temporanea; SK = Chiave della sessione. Clicca qui per visualizzare una versione più grande di questa figura.

Trasferire l'autenticazione per un passaggio di consegne senza intoppi: Man mano che i veicoli si spostano tra le zone di copertura RSU, la riesecuzione dell'autenticazione completa ad ogni nuova RSU introduce latenza e può interrompere le sessioni sicure. Il processo di autenticazione del trasferimento, come mostrato nella Figura 2, consente un handover sicuro e leggero. L'attuale RSU genera una scheda autorizzata AC_i tramite l'hash della concatenazione delle chiavi pubbliche del veicolo e dell'RSU insieme a un parametro di sessione casuale b_i. Utilizzando trasformazioni polinomiali di Chebyshev T_AC(x) modulo p, la RSU calcola valori intermedi ω_{1,ω 2} = ω₁ FPK_Ri, una chiave specifica per la sessione IK_i = H(ω₁FPK_vi) e una chiave di sessione criptata ω₃ = (E_IKi(SK_i)). Infine, una chiave temporanea TK_i deriva da γ = b_i. IK ^i-1 usando un'altra trasformazione di Chebyshev T_γ(x). La tupla (TK_{i,ω 2,ω 3}) viene inviata alla successiva RSU, che la utilizza per verificare e riprendere una comunicazione sicura con il veicolo senza effettuare una completa riautenticazione. Questo meccanismo garantisce una minima interruzione e una latenza ultrabassa per i veicoli ad alta velocità. 

Mobilità e passaggio di consegne: I veicoli che si spostano da una posizione all'altra nella rete possono incontrare più RSU lungo il percorso. Combinando l'autenticazione batch basata su polinomi Chebyshev per l'accesso iniziale RSU e l'autenticazione per trasferimento per i trasferimenti di mobilità, il sistema raggiunge sia scalabilità che^{continuità 16}. L'autenticazione batch gestisce efficacemente molte autenticazioni simultanee dei veicoli, mentre l'autenticazione per trasferimento riduce i ritardi di riautenticazione durante le transizioni RSU. Insieme, questi meccanismi formano un framework solido, matematicamente sicuro ed efficace in termini di prestazioni per l'autenticazione VANET.

Preliminari polinomiali di Chebyshev

I polinomi di Chebyshev (T_n(x)) sono il concetto matematico centrale dello schema di autenticazione. Seguono una formula di ricorrenza e possiedono caratteristiche che le rendono adatte a funzioni crittografiche unidirezionali. Le principali definizioni e proprietà sono le seguenti.

Definizione: Il polinomio di Chebyshev di grado n (per intero n≥ 0):

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

per x [-1,1]]. Equivalentemente, si può definire sui reali o modulo un primo P. I primi polinomi di Chebyshev del primo tipo T_n(x) fino a n=4 (il grado varia da 0 a 4) descritti nella Tabella 2.

S.No	Titolo	Descrizione	Risultato
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 (Poiché cos(2θ) = 2cos2θ-1)	T2(x) = 2x2-1
4	T3(x)	T3(x) = cos(3.arccros x) = 4x3-3x (Poiché cos(3θ) = 4cos3θ-3cosθ)	T3(x) = 4x3-3x
5	T4(x)	T4(x) = 8x4-8x 2+1 (Poiché cos(4θ) = 8cos4θ-8cos2θ+1)	T4(x) = 8x4-8x 2+1

Tabella 2: Valutazione della relazione di ricorrenza. Questa tabella presenta i primi polinomi di Chebyshev del primo tipo T_n(x) (per gradi da 0 a 4), calcolati utilizzando la relazione di ricorrenza che costituisce la base matematica dello schema di autenticazione proposto. Abbreviazioni; T_n(x) = polinomio di Chebyshev di grado n valutato in x; n = Grado polinomiale; x = Variabile di input.

In generale, soddisfano la ricorrenza:

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

Questa ricorrenza consente un calcolo iterativo efficiente di T_n(x).

Proprietà di semigruppo: Simili agli esponenti moltiplicativi, i polinomi di Chebyshev mostrano una proprietà di composizione specificamente:

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

per ogni intero positivo m,n. In parole, se si applica prima un polinomio di Chebyshev di grado n a x, e poi un altro polinomio di grado m al risultato, è equivalente ad applicare direttamente a x un polinomio di Chebyshev di grado m * n. Questa proprietà è centrale nell'uso dei polinomi di Chebyshev nei protocolli di scambio e autenticazione di chiavi di Diffie–Hellman, perché somiglia alla proprietà (g^a)^b = (g^b)^a dell'esponenziazione in un gruppo ciclico.

Comportamento caotico: Per gradi n>1 , la mappa x T_n(x) (quando x è in [-1,1]) è stata dimostrata essere una mappa caotica in condizioni specifiche. In modo informale, un piccolo cambiamento in x può causare grandi variazioni in T_n(x) quando n è grande, e T_n(x) è distribuito in [-1,1] in modo che per n grande può apparire casuale. Questa "pseudo-casualità" è utile in crittografia per produrre output non prevedibili.

Problema del logaritmo discreto polinomiale di Chebyshev (CPDLP): È simile al problema del logaritmo discreto ma utilizza polinomi di Chebyshev. Dato un modulo primo P e valori pubblici x e y = T_n(x) modulo P, è molto difficile trovare l'intero n. In altre parole, se si conosce x e y, capire n è estremamente difficile quando i numeri sono grandi. Questo è simile al classico problema del log discreto, dove trovare^{un modulo} P da g è difficile.

Problema di Diffie–Hellman polinomiale di Chebyshev (CPDHP): Dato x, T_a(x) e T_b(x) (per interi segreti casuali a,b), è difficile calcolare T_a.b(x) senza conoscere sia a né b. Questo rispecchia il problema di Diffie–Hellman: dando^{g a} e^{g b}, un avversario non può calcolare g^ab. Nel contesto di Chebyshev, si noti che T_ab(x) = T_a(T_b(x)) = T_b(T_a(x)) tramite la proprietà del semigruppo; quindi se due parti conoscono ciascuna una delle parti a,b, possono facilmente calcolare T_ab(x), mentre un intercettatore che conosce solo i singoli risultati non può.

La sicurezza dello schema si basa su queste ipotesi (CPDLP e CPDHP sono irrisolvibili). Per l'implementazione pratica, questo studio opera in un campo finito (modulo un grande primo P) per garantire un comportamento distinto. Tipicamente, un numero casuale x in [2,P-2] viene scelto come parametro di sistema (questo svolge un ruolo simile a un generatore in un gruppo moltiplicativo). Il TA sceglierà tale x e lo pubblicherà come parte dei parametri pubblici. Allora i polinomi di Chebyshev possono essere calcolati modulo P tramite la formula di ricorrenza. Sebbene x non sia in [-1,1] in questo caso, si può usare l'isomorfismo tra polinomi di Chebyshev e coseno iperbolico per valori esterni a [-1,1], oppure semplicemente trattare la ricorrenza algebrica modulo P. La proprietà caotica, in senso stretto, si applica agli intervalli reali; tuttavia, per l'uso crittografico, lo studio si basa sull'imprevedibilità dovuta alla durezza del CPDHP nel campo finito.

Modello d'attacco

Nel framework proposto per l'autenticazione batch e transfer per VANET che utilizzano polinomi di Chebyshev, i ricercatori considerano un panorama realistico di minacce in cui sia avversari esterni che interni potrebbero tentare di interrompere la comunicazione sicura. Gli attaccanti esterni sono entità esterne alla rete veicolare che mirano a intercettare, alterare o iniettare messaggi dannosi senza possedere alcuna credenziali di autenticazione^{legittime 17}. Gli attaccanti interni, invece, sono veicoli compromessi, o RSU dannosi che già possiedono credenziali valide ma le utilizzano in modo improprio per impersonare altri, falsificare dati o lanciare attacchi coordinati.

Attacco Man-in-the-middle (MIM): L'avversario intercetta e trasmette messaggi tra due parti legittime modificando potenzialmente il loro contenuto. Il protocollo mitiga questo impiegando autenticazione reciproca e accordo delle chiavi di sessione basati sulla difficoltà del problema polinomiale di Chebyshev, assicurando che qualsiasi dato intercettato sia computazionalmente inviabile da manipolare senza rilevamento¹⁸.

Attacco di riproduzione: un attaccante invia messaggi validi precedentemente catturati per ottenere accesso non autorizzato o creare confusione di rete. I ricercatori affrontano questo problema incorporando timestamp e identificatori di sessione nel processo di autenticazione, assicurando che i messaggi siano validi solo entro una breve finestra temporale e non possano essere riutilizzati successivamente.

Impersonation Attack: viene anche considerato quando un aggressore tenta di fingersi un veicolo legittimo o RSU. Legando strettamente il processo di autenticazione a chiavi polinomiali uniche di Chebyshev e verificando le firme digitali durante l'autenticazione batch e di trasferimento, il sistema garantisce che solo i partecipanti autentici possano comunicare.

Attacchi di intercettamento: in cui gli avversari monitorano passivamente le comunicazioni per estrarre informazioni sensibili. Lo schema proposto garantisce la riservatezza attraverso la generazione sicura delle chiavi di sessione; Pertanto, anche se i pacchetti dati vengono intercettati, rimangono incomprensibili senza la chiave segreta.

Attacchi di collusione: in cui più entità compromesse collaborano per violare il protocollo di autenticazione. L'uso della verifica aggregata nell'autenticazione batch e della verifica indipendente nell'autenticazione per trasferimento impedisce ai nodi compromessi, collettivamente di falsificare credenziali valide.

Simbolo	Descrizione
Ui	I-esimo veicolo nel VANET
RSU	Unità a bordo strada
Ti	Autorità di fiducia
TSi	Timestamp generato dal veicolo
TA RSU	Timestamp generato da RSU
TSTA	Timestamp generato da TA
ΔT	Differenza massima consentita di clock per la validità del messaggio
DID Ui	Identità basata su pseudonimo del veicolo Ui
DID RSU	Identità basata su pseudonimo della RSU
Tv(x)	Polinomio di Chebyshev con chiave privata del veicolo "v"
TV(x)	Polinomio di Chebyshev con chiave privata di autorità affidabile "b"
TPKRi(x)	Polinomio di Chebyshev con chiave pubblica di RSU
αio	Hash identità calcolato dal veicolo Ui
βi	Hash identità calcolato da RSU per Ui
θi	Token di verifica polinomiale dall'interfaccia utente utilizzato per l'aggregazione
θ'agg	Polinomio aggregato atteso (TA calcolato)
θAGG	Prodotto polinomiale aggregato da tutti i veicoli Θi
mi,n i	Valori di seed casuali delle chiavi di sessione generati da TA
ri,u i	Valori scalari segreti assegnati rispettivamente a RSU e veicolo
PUB RSU	Chiave pubblica di RSU
PUBui	Chiave pubblica del veicolo Ui
E1(i), E2(i)	Valori di mascheramento calcolati tramite hash per la riservatezza
IK(i)	Componenti dei messaggi di autenticazione/scambio di chiavi di sessione
SKi	Chiave dell'ultima sessione è stata stabilita tra veicolo e RSU
H(.)	Funzione hash resistente alle collisioni
ESK(.)/DSK(.)	Crittografia/decrittografia simmetrica usando la chiave di sessione
||	Operatore di concatenazione
mod P	Operazione modulare su un grande primo p

Tabella 3: Annotazioni. Questa tabella elenca i simboli chiave, i parametri e le notazioni crittografiche impiegate in tutto l'articolo.

Schema proposto:

Questo schema proposto consiste in due componenti principali: (i) un meccanismo di verifica batch dei messaggi che utilizza polinomi di Chebyshev e (ii) un protocollo di autenticazione per trasferimento per i trasferimenti di veicoli tra RSU. Questo studio fornisce innanzitutto una panoramica della configurazione del sistema e poi descrive ogni componente in dettaglio nelle sezioni successive, insieme al fatto che la terminologia e la notazione sono state illustrate nella Tabella 3.

Registrazione del veicolo:

Passo 1: Ogni veicolo avvia il processo di autenticazione. Siano n veicoli u_{1,u 2,u 3}....,u_n che tentano l'autenticazione con la stessa RSU al momento t. Ogni veicolo u_i calcola:

α_i = H(DID_ui|| T_{v i}(T_b(x)) || TS_i) (1)

Poi, u_i invia:

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

alla RSU.

Passo 2: RSU aggrega e prepara l'autenticazione batch dopo aver ricevuto tutto_{l'I 1}⁽ⁱ), RSU esegui:

1. Validazione del timestamp: |TS_c - TS_i| ≤ ΔT
2. Calcolare l'hash delle risposte RSU per ogni veicolo: β_i = H(DID_RSU||T_{r i}(T_b(x))||TS_RSU)
3. Calcolare i token di Chebyshev: θ_i = T_{v i}(T_PKRi(x)) mod P
4. Aggregare tutti i token:   
5. Prepara il messaggio batch: e invia al TA.

Passo 3: TA verifica le firme batch

1. Verifica timestamp: TS_TA -_{TS RSU} ≤ ΔT
2. Controlla l'hash RSU: β_i^* = H(DID_RSU || T_b(_{T ri}(x)) || TS_RSU) = β_i 
3. Controlla l'hash del veicolo: α_i^* = H(DID_ui|| T_b(_{T vi}(x)|| TS_i) = α_i 
4. Verifica aggregata: _θ'agg = T_{∑v i}(x)mod P
H(θ_agg) = H(θ_agg^') Se tutti passano, l'autenticazione ha successo.

Passo 4: Stabilimento della chiave di sessione (in lotti) per_{ogni u i} , TA eseguito:
1. Calcolare: E₁⁽ⁱ⁾ = H(_{PUB RSU}||r_i||TS_RSU)
E₂⁽ⁱ⁾ = H(PUB_ui||v_i||TS_i).
2. Generare valori casuali m_{i,n i}Z^*_P 
3. Chiave di calcolo della sessione: SK_i = H(m_i||n_i||r_i||v_i)
4. Costruire componenti criptati:
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 

Passo 5: RSU invia le informazioni della sessione a ogni veicolo_{u i} 
1. Recupero: H(_{m i}) =_{I 3}⁽ⁱ⁾E₁⁽ⁱ⁾ 
SK_i = I₅⁽ⁱ⁾H(_{m i)}
2. Invio_i : {_{I 4}⁽ⁱ⁾,I₆⁽ⁱ⁾,TS_RSU+1}

Passo 6: I veicoli completano l'estrazione delle chiavi di sessione per ogni u_i 
1. Calcolare: H(_{n i}) =_{I 4}⁽ⁱ⁾E₂⁽ⁱ⁾ 
SK_i = I₆⁽ⁱ⁾H(n_i)
2. Usa la chiave di sessione per cifrare i messaggi:
E_SKi(m_i||PUB_ui||_{PUB RSU})

Passo 7: Trasferire l'autenticazione per un handover senza interruzioni
Passo 7.1: La generazione autorizzata delle carte da parte della RSU verrà calcolata
AC_i = H(FPK_vi|| FPK_Ri|| b_i)
ω₁ = T_AC(x) mod P,ω₂=ω₁FPK_Ri 
IK_i = H(ω₁||FPK_controi)
ω₃ = E_IKi(SK_i)
_{TK i} = T_γ(x) mod P
γ = b_i. IK ^i-1 
Invia (_{TK i,ω 2,ω 3}) alla prossima RSU.
Passo 7.2: Validazione da parte dell'RSU vicina
T_AC(x) = ω₂FPK_Ri-1 
IK_i ^'= H(T_AC(x)||FPK_controi)
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P
Passo 7.3: Recupero della chiave di sessione (decrittografia della nuova RSU)
SK_i =_{D IKi^'}(ω₃)

Il veicolo u_i è ora autenticato all'interno della nuova zona RSU e può continuare una comunicazione sicura, con tutte le notazioni utilizzate nell'algoritmo dettagliate nella Tabella 3.

Nella Figura 3, i ricercatori hanno spiegato in dettaglio l'autenticazione tramite trasferimento con un diagramma di corsia di nuoto, come l'attuale RSU trasferisca l'autorizzazione alla nuova RSU inviando i suoi parametri (_{TK i,ω 2,ω 3}) e, dopo aver ricevuto questi parametri dalla nuova RSU, validi le verifiche utilizzando
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P. Da questa sessione, la chiave verrà recuperata dalla nuova RSU e inviata al veicolo.

Figura 3: Trasferire l'autenticazione tra due RSU. Questa figura illustra il diagramma di flusso del protocollo di autenticazione del trasferimento in un VANET, dove un veicolo facilita il passaggio sicuro tra l'attuale Unità Stradale (RSU 1) e la successiva Unità Stradale (RSU 2). Il processo inizia con la generazione di carte autenticate e i calcoli crittografici presso RSU 1, seguiti dalla trasmissione dei parametri al veicolo, dalla validazione e dal recupero della chiave di sessione presso RSU 2, concludendo con l'istituzione di una chiave di sessione sicura. Abbreviazioni; VANET = Rete ad Hoc Vecolare; RSU = Unità Stradale. Clicca qui per visualizzare una versione più grande di questa figura.

Risultati

Analisi della sicurezza

Analisi informale della sicurezza

Attacco di impersonificazione: Un avversario può tentare di impersonare un_veicolo legittimo o un'unità stradale (RSU) per ottenere accesso non autorizzato o interrompere l'autenticazione, ma tale impersonazione è computazionalmente inviabile a causa dei robusti meccanismi di sicurezza in atto. Ogni veicolo e RSU utilizza firme basa...

Discussione

Lo schema proposto di autenticazione batch e transfer migliora significativamente le prestazioni del VANET superando i limiti della tradizionale verifica uno-a-uno. Attraverso l'autenticazione batch, più veicoli possono essere autenticati simultaneamente da una RSU, riducendo il carico computazionale e di comunicazione e consentendo un'operazione efficiente su larga scala in condizioni di traffico denso. Questo meccanismo garantisce cicli di autenticazione più rapidi e un migliore utiliz...

Materiali

Elenco dei materiali utilizzati in questo articolo

Nome	Azienda	Numero di catalogo	Commenti
Componente	Specifiche / Dettagli
Dimensione del lotto (n)	Da 10 a 100 veicoli
Schemi di confronto	[20],[21],[22] (analisi dalla letteratura)
Primitive crittografiche	Polinomi di Chebyshev (implementazione ricorsiva personalizzata), hash SHA-256
Piattaforma hardware	Processore Intel Core i7, 16 GB di RAM, Windows 11 (o il tuo sistema operativo specifico)
Librerie chiave	hashlib (per SHA-256), tempo (per misurazioni), operazioni matematiche integrate
Metodo di misurazione	Tempo medio di esecuzione su 1000 iterazioni usando modulo temporale
Modulo primo (p)	256– 512 bit (valori piccoli come 7919 usati per i test; scalati per analisi di sicurezza)
Linguaggio di programmazione	Python 3.10
Tipo di simulazione	Temporizzazione delle operazioni crittografiche (nessun simulatore di rete utilizzato)