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

Ogni volta che un'auto frena, accelera o curva, invia un grido digitale ai veicoli circostanti. Nel mondo dei sistemi di trasporto intelligenti, questi messaggi avvengono decine di volte al secondo, trasportando informazioni vitali su velocità e posizione che permettono alle auto di evitare collisioni che non possono vedere. Affinché questo sistema funzioni, ogni veicolo deve avere la certezza che il messaggio ricevuto sia reale e provenga da un'auto genuina, e non da un hacker che cerca di causare un tamponamento a catena. Eppure, questa fiducia crea un paradosso: per verificare un messaggio, un ricevitore solitamente ha bisogno di sapere chi lo ha inviato, ma sapere esattamente chi sta inviando ogni messaggio permette a chiunque di tracciare l'intero viaggio di un conducente, rivelando la sua casa, il luogo di lavoro e le sue abitudini. La sfida per gli ingegneri è costruire un sistema in cui un'auto possa dimostrare di essere legittima senza rivelare la propria vera identità, pur consentendo alle autorità di svelare l'identità di un conducente se agisce in modo pericoloso.

Questo delicato equilibrio, noto come privacy condizionale, ha a lungo richiesto un'infrastruttura complessa di certificati digitali e canali sicuri per distribuire chiavi segrete. Un nuovo studio di Muhammad Asghar Khan propone un modo per semplificare questo processo, eliminando la necessità di un canale sicuro e rendendo al contempo più difficile tracciare i conducenti. La ricerca introduce un metodo in cui i veicoli possono registrarsi e ricevere le loro chiavi segrete tramite una connessione wireless pubblica e aperta, molto simile a una normale connessione internet, senza timore di intercettazioni. Il cuore di questa innovazione risiede nell'uso di un tipo specifico di curva matematica, una curva iperellittica di genere 2, che permette calcoli più rapidi e dimensioni dei dati minori rispetto alle curve standard attualmente utilizzate in molti sistemi di sicurezza. Sfruttando questa struttura matematica, il modello proposto garantisce che ogni messaggio di sicurezza sia firmato con un nome univoco e temporaneo che non può essere collegato ai messaggi precedenti, rendendo di fatto l'auto invisibile agli occhi indiscreti pur rimanendo pienamente responsabile nei confronti di un'autorità centrale.

I ricercatori hanno costruito un sistema completo in cui un'autorità fidata, agendo come generatore di chiavi private, emette questi nomi temporanei e le corrispondenti chiavi segrete ai veicoli. A differenza dei metodi precedenti che richiedevano una linea privata e sicura per consegnare questi segreti, questo nuovo approccio cripta l'identità e le chiavi in un modo che solo il veicolo specifico e l'autorità possono decodificare, anche se i dati viaggiano su un canale pubblico. Ciò significa che un'auto può fermarsi presso un'unità stradale, richiedere nuove credenziali e riceverle istantaneamente senza dover prima stabilire una connessione sicura e complessa. Una volta registrato, il veicolo firma i suoi messaggi di sicurezza utilizzando un pseudonimo fresco e una tantum per ogni singola trasmissione. Questo assicura che, anche se un hacker raccogliesse migliaia di messaggi dalla stessa auto, non potrebbe collegarli tra loro per ricostruire un percorso. Tuttavia, se un conducente viene colto a violare la legge o ad agire in modo malevolo, l'autorità centrale può usare la sua chiave master per risalire dal nome temporaneo al veicolo reale e revocargli la capacità di inviare messaggi futuri.

Un difetto critico in diversi tentativi precedenti a questo problema era la vulnerabilità agli attacchi di "sostituzione della chiave", in cui un attaccante poteva sostituire una chiave pubblica con la propria per falsificare le firme. Il nuovo schema previene questo problema derivando la chiave di verifica direttamente dal nome temporaneo e dalla chiave pubblica dell'autorità, legando la firma in modo inscindibile alla fiducia del sistema. Lo studio dimostra matematicamente che falsificare una firma senza la corretta chiave segreta è computazionalmente impossibile secondo le attuali ipotesi. In termini di velocità, i ricercatori hanno misurato il tempo necessario per firmare e verificare un messaggio, riscontrando che il loro metodo impiega solo 1,44 millisecondi in totale. Questo è significativamente più veloce dei migliori metodi esistenti basati su curve ellittiche standard, che impiegavano 2,56 millisecondi, e drasticamente più veloce dei metodi che utilizzano la crittografia basata su accoppiamento (pairing-based), che impiegavano oltre 5 millisecondi.

Per capire cosa significhino questi numeri nel mondo reale, l'autore ha simulato uno scenario di traffico intenso in cui un singolo ricevitore deve controllare i messaggi di molte auto vicine entro un rigido limite di sicurezza di 100 millisecondi. Poiché il nuovo metodo è così veloce, un singolo core di elaborazione può verificare con successo i messaggi di 92 veicoli vicini entro quel limite di tempo. Al contrario, i migliori schemi a curva ellittica potevano gestire solo 77 veicoli, e gli schemi basati sull'accoppiamento potevano gestirne solo 32 prima che il sistema diventasse troppo lento per essere sicuro. Questa differenza è cruciale nel traffico urbano denso, dove un ritardo anche di una frazione di secondo potrebbe impedire a un'auto di reagire a un pericolo improvviso. Lo studio ha anche esaminato lo spazio di archiviazione richiesto per questi nomi temporanei, rilevando che un veicolo che guida per due ore avrebbe bisogno di circa 4,3 megabyte di memoria per contenere le credenziali necessarie, una quantità trascurabile per i moderni computer di bordo.

La ricerca riconosce che, sebbene il sistema sia altamente efficiente, non è privo di limitazioni. Poiché l'autorità centrale detiene il potere di generare ogni chiave privata, si crea una situazione di "key escrow" (custodia delle chiavi) in cui l'autorità potrebbe teoricamente firmare messaggi per conto di qualsiasi veicolo. L'autore osserva che questo è uno scambio accettabile dato che l'autorità è già fidata per il rilascio di licenze e credenziali, ma suggerisce che le versioni future potrebbero essere modificate per rimuovere questo controllo centrale. Inoltre, il problema matematico utilizzato per proteggere il sistema, pur essendo attualmente infrangibile per i computer classici, sarebbe vulnerabile a un futuro computer quantistico, proprio come molti altri attuali metodi di crittografia. Nonostante questi vincoli, lo studio dimostra una chiara strada da seguire per una comunicazione più sicura, più privata ed efficiente tra i veicoli autonomi, provando che l'alta sicurezza non richiede infrastrutture pesanti, lente o complesse.