Evaluating Future Air Traffic Management Security

Titolo: Valutazione della Sicurezza nella Gestione del Traffico Aereo Futura (LDACS)

Autore: Konstantinos Spalas (Università del Peloponneso, Tripoli)
Contesto: 1ª Conferenza Studentesca DIT, 11 giugno 2025.

1. Il Problema

Le attuali comunicazioni tra aeromobili e torre di controllo utilizzano segnali RF analogici, che sono soggetti a congestione delle frequenze radio e privi di resilienza contro gli attacchi informatici. Per modernizzare la Gestione del Traffico Aereo (ATM), il progetto SESAR (Single European Sky ATM Research) propone l'adozione del sistema LDACS (L-Band Digital Aviation Communication System).

Sebbene il LDACS prometta di integrare la Crittografia Post-Quantistica (PQC), l'articolo analizza criticamente una proposta recente di autenticazione basata su Funzioni Fisiche Non Clonabili (PUF). Il problema centrale è che, nonostante le PUF offrano sicurezza hardware, la loro implementazione nel contesto LDACS presenta vulnerabilità significative derivanti da:

• Modelli di Machine Learning avanzati capaci di prevedere il comportamento delle PUF.
• La minaccia futura dei computer quantistici sulla crittografia attuale.
• Il degrado fisico (invecchiamento) delle PUF che ne compromette la stabilità.

2. Metodologia

L'autore adotta un approccio di valutazione tecnica e crittografica basato su tre pilastri:

1. Analisi del Protocollo di Autenticazione PUF:

   • Viene esaminato un protocollo di registrazione offline dove l'aeromobile e la torre condividono attributi crittografici.
   • La torre memorizza l'indirizzo ICAO (identificativo univoco dell'aereo), una sfida $C$, una risposta $R$ (generata dalla PUF) e un valore hash parziale $\tau$.
   • L'aeromobile memorizza $\tau$ e una funzione hash di $R$.
   • L'autenticazione avviene scambiando messaggi per generare una chiave simmetrica sicura.

2. Valutazione delle Vulnerabilità (Attacchi):

   • Attacco 1 (Machine Learning): Utilizzo dell'algoritmo CMA-ES (Covariance Matrix Adaptation Evolution Strategy) per modellare e prevedere la risposta $R$ della PUF data una sfida $C.
   • Attacco 2 (Computazione Quantistica): Analisi della resistenza contro algoritmi di pre-immagine quantistica per trovare la risposta $R$ nascosta partendo dal valore hash $\tau$.
   • Analisi dell'Invecchiamento: Studio dell'impatto del degrado fisico delle PUF nel tempo sulla stabilità del sistema di autenticazione.

3. Proposta di Alternativa:

   • Confronto con un'infrastruttura a chiave pubblica (PKI) basata su crittografia post-quantistica (PQC).

3. Risultati Chiave e Vulnerabilità Identificate

L'analisi dimostra che il meccanismo di autenticazione basato su PUF per il LDACS è vulnerabile su più fronti:

• Predizione tramite Machine Learning (CMA-ES):

  • Gli algoritmi CMA-ES possono prevedere il comportamento delle PUF con un tasso di errore ridotto al 2%.
  • Per una risposta $R$ di 128 bit, un errore del 2% equivale a soli 2 bit errati. Il numero di permutazioni necessarie per correggere questi errori ($P(128, 2) \approx 16.000$) è calcolabile con risorse computazionali classiche.
  • Un attaccante può costruire una tabella di ricerca per mappare $C \to R$ e derivare gli attributi segreti, permettendo attacchi di impersonificazione.

• Minaccia Quantistica:

  • Gli indirizzi ICAO e i valori $\tau$ hanno una lunghezza di 24 bit.
  • Utilizzando l'algoritmo di pre-immagine quantistica, la complessità di una ricerca esaustiva per trovare la risposta $R$ (di 128 bit) che soddisfi l'equazione hash può essere ridotta da $O(2^{128})$ a $O(2^{128/3}) \approx O(2^{42})$.
  • Questo livello di complessità è considerato fattibile per i computer quantistici previsti per il futuro (orizzonte 2030), rendendo il sistema insicuro.

• Problemi di Invecchiamento (Aging):

  • Le PUF subiscono un degrado fisico che aumenta del 19% ogni due anni.
  • Questo fenomeno compromette la stabilità della risposta $R$, portando potenzialmente a falsi negativi nell'autenticazione e rendendo il sistema non disponibile (problemi di disponibilità).

4. Contributi Principali

• Dimostrazione della fragilità delle PUF in ambito aeronautico: L'articolo fornisce una prova tecnica che le PUF, sebbene promettenti per l'autenticazione hardware, non sono sufficienti da sole per proteggere il LDACS contro minacce ibride (ML + Quantum).
• Analisi di fattibilità degli attacchi: Calcolo preciso della complessità computazionale necessaria per violare il protocollo sia con computer classici (tramite CMA-ES) che quantistici.
• Proposta di mitigazione: Sostituzione del modello PUF con una PKI basata su PQC (Post-Quantum Cryptography), che offre una sicurezza più robusta, resiliente e priva di latenza, gestita da un'autorità di certificazione tra aeromobili, torre e CA.

5. Significato e Implicazioni

Questo lavoro è cruciale per lo sviluppo futuro dell'ATM in Europa e globale. Mette in guardia i progettisti di sistemi LDACS dal fare affidamento esclusivo su soluzioni hardware "leggerhe" come le PUF senza una protezione crittografica aggiuntiva robusta.

La conclusione è che, data l'evoluzione rapida dell'intelligenza artificiale e della computazione quantistica, la sicurezza delle comunicazioni aeree future deve basarsi su infrastrutture PKI Post-Quantistiche. Questo approccio garantisce non solo la riservatezza e l'integrità dei dati, ma anche la disponibilità del sistema, evitando i rischi di instabilità legati all'invecchiamento dell'hardware e alla prevedibilità dei modelli di apprendimento automatico.