Stability Buys Time: A Re-Keying Game for Encrypted Multi-Agent Control

Sintesi Tecnica: La Stabilità Compra Tempo: Un Gioco di Re-Keying per il Controllo Multi-Agente Criptato

Problematica
Il documento affronta una vulnerabilità critica nei sistemi di controllo multi-agente criptati che utilizzano la Crittografia Omomorfica Totale (FHE). Sebbene la FHE permetta a un server in cloud di coordinare una flotta di agenti su dati criptati senza vederne il testo in chiaro, lo schema specifico utilizzato per il controllo a valori reali, CKCKKS, introduce un paradosso di sicurezza. CKKS è uno schema approssimativo in cui la decrittazione restituisce un valore contaminato dal rumore di cifratura ($z + e/\Delta$). In un ciclo di controllo, gli attuatori devono decriptare i comandi per agire, rendendo queste decrittazioni rumorose inevitabili. Recenti analisi crittografiche hanno dimostrato che l'osservazione di queste decrittazioni permette a un avversario di ricostruire la chiave segreta.

La letteratura esistente tratta questo tema in modo isolato: la sicurezza FHE viene analizzata staticamente (noise flooding per una singola decrittazione), il controllo criptato assume un cloud "onesto ma curioso" (honest-but-curious), e i modelli di minaccia persistente basati sulla teoria dei giochi raramente penetrano all'interno del sistema crittografico. Questo articolo modella l'interazione tra una flotta e un Advanced Persistent Threat (APT) che sfrutta la perdita di informazioni (leakage) derivante dalla decrittazione inevitabile nel tempo, sostenendo che le difese statiche siano insufficienti per missioni a lungo termine.

Metodologia
Gli autori modellano la sicurezza del ciclo di controllo criptato come un gioco in due fasi tra un difensore della flotta cooperativo e un avversario APT:

1. Fase I: Ricognizione Passiva (Gioco Statico)

   • L'avversario intercetta il traffico criptato e osserva un sottoinsieme di comandi decriptati degli agenti.
   • Il difensore si impegna su un livello di "noise flooding" ($\sigma$) statico, aggiunto ai valori decriptati per mascherare la chiave.
   • Questa fase è modellata come un gioco di Stackelberg in cui il difensore si impegna per primo sul valore di $\sigma$. L'avversario accumula osservazioni finché il rumore non è sufficientemente "de-flooded" per recuperare la chiave.
   • Gli autori stabiliscono che il leakage si accumula a un tasso di una osservazione indipendente per ciclo di controllo, poiché il sistema evolve un singolo ciphertext in loco sotto una chiave condivisa, e il bootstrapping (il refresh del rumore) non resetta la chiave né il leakage accumulato.

2. Fase II: Manipolazione Attiva (Gioco di Temporizzazione Dinamica)

   • Una volta che l'avversario decide di agire, manipola il calcolo criptato per accelerare il recupero della chiave o interrompere la flotta.
   • Questa manipolazione perturba il ciclo di controllo, manifestandosi come residui del modello di controllo (rilevati tramite un test $\chi^2$).
   • La mossa adattiva del difensore è il re-keying: generare una nuova chiave segreta e ricriptare lo stato della flotta. Ciò resetta il registro del leakage accumulato dall'avversario a zero.
   • Questa fase è modellata come un gioco di temporizzazione (timing game) di tipo "FlipIt" tra rilevamento ed evasione. Il difensore sceglie una cadenza di re-keying ($T$), mentre l'avversario sceglie una postura (passiva, attiva-furtiva o attiva-aggressiva) per massimizzare la velocità di recupero evitando il rilevamento.

Contributi Chiave

• Modello APT a Due Fasi: Il documento formula la sicurezza di un ciclo multi-agente criptato come un gioco a due fasi (ricognizione passiva seguita da manipolazione attiva), separando l'accumulo di leakage non rilevabile dalla fase di manipolazione rilevabile.
• Re-Keying vs. Bootstrapping: Gli autori distinguono tra bootstrapping (che rinfresca il rumore sotto la stessa chiave) e re-keying (che cambia la chiave). Dimostrano che solo il re-keying resetta la conoscenza accumulata dall'avversario, rendendolo il leva di sicurezza necessaria.
• Regimi Dipendenti dalla Precisione: L'analisi identifica una tensione tripartita tra precisione FHE ($\Delta$), accuratezza del controllo (limitata dal massimo flooding tollerabile $\sigma_{max}$) e cadenza di re-keying. Ciò porta a tre distinti regimi operativi:
  1. Insecure Floor (Pavimento di Insicurezza): La precisione è troppo bassa; anche il flooding massimo non può impedire il recupero della chiave entro un singolo ciclo.
  2. Re-Key Window (Finestra di Re-Keying): La precisione si trova in un intervallo limitato in cui il flooding statico è insufficiente, ma il re-keying è fattibile. Questo è il "punto di efficienza sicura".
  3. Static Sufficiency Ceiling (Soffitto di Sufficienza Statica): La precisione è sufficientemente alta che il solo noise flooding statico garantisce la sicurezza della chiave per la durata della missione, rendendo inutile il re-keying.
• Cadenza Dipendente dalla Topologia: La cadenza ottimale di re-keying è determinata dalla fragilità topologica della rete dal punto di vista del controllo. Le topologie più fragili (es. un toro marginalmente stabile) richiedono un re-keying più frequente rispetto a quelle ben connesse (es. grafi completi).

Risultati
Gli autori istanziano il framework su una flotta di nove agenti utilizzando la libreria OpenFHE attraverso tre topologie: ring, torus e complete graph.

• Tolleranza del Controllo: Il massimo flooding di rumore tollerabile ($\sigma_{max}$) è direttamente collegato al raggio spettrale a ciclo chiuso. La topologia torus (marginalmente stabile) tollera il rumore minore ($\sigma_{max} \approx 0.3$), mentre il grafo completo tollera il maggiore ($\sigma_{max} \approx 0.75$).
• Tasso di Leakage: Gli esperimenti confermano che il leakage si accumula a un tasso di una osservazione per ciclo indipendentemente dal tasso di contrazione a ciclo chiuso, poiché ogni ciclo introduce un nuovo vincolo di misurazione sotto la stessa chiave.
• Mappatura dei Regimi: Con una precisione di $\Delta \approx 2^{37}$, il sistema ricade nella "re-key window".
  • Il Torus (il più fragile) richiede una cadenza "Vigilant" (re-key ogni ~200 cicli).
  • Il Ring richiede una cadenza "Moderate" (~600 cicli).
  • Il Complete Graph tollera una cadenza "Lazy" (~1500 cicli).
• Comportamento dell'Avversario: Il rilevatore basato sul modello neutralizza efficacemente la manipolazione "aggressiva" (attacchi ad alta magnitudo), costringendo l'avversario razionale a rimanere "stealthy" (furtivo). La strategia ottimale del difensore è eseguire il re-keying con la cadenza più "pigra" che riesca comunque a impedire all'avversario furtivo di raggiungere la soglia di recupero prima del rilevamento.

Significatività e Rivendicazioni
Il documento sostiene che la sicurezza per i sistemi crittografici approssimativi nei cicli di feedback sia fondamentalmente un gioco dinamico in cui la mossa del difensore è il meccanismo di aggiornamento del sistema crittografico stesso (re-keying).

• La Stabilità Compra Tempo: L'articolo sostiene che la stabilità del controllo del sistema detta la cadenza di sicurezza crittografica. Un sistema più stabile (maggiore $\sigma_{max}$) permette un intervallo più lungo tra gli eventi di re-keying.
• La "Finestra" di Efficienza: Gli autori affermano che il punto operativo sicuro ed efficiente risiede nella finestra di precisione limitata dove il flooding statico fallisce ma il re-keying è comunque fattibile. Questo sfida l'assunto che una precisione maggiore sia sempre preferibile, suggerendo che operare in un intervallo di precisione specifico minimizzi il costo del re-keying mantenendo la sicurezza.
• Oltre il Controllo: Gli autori suggeriscono che questo framework sia applicabile a qualsiasi sistema che debba decriptare ripetutamente per agire, posizionando la cadenza di re-keying come una difesa dinamica contro il leakage persistente.

Il documento rimane modesto riguardo alla propria portata, notando che l'analisi assume l'osservazione completa degli agenti ($\kappa = M$) e un difensore della flotta cooperativo. Identifica le soglie di osservazione parziale e gli agenti strategici o corrotti come necessarie estensioni future.