How Sensor Attacks Transfer Across Lie Groups

Titolo: Come gli Attacchi ai Sensori si Trasferiscono tra Gruppi di Lie

1. Problema e Contesto

L'analisi degli attacchi di spoofing (manipolazione) dei sensori nei sistemi cyber-fisici (CPS) è stata finora prevalentemente limitata agli spazi di stato lineari (spazi euclidei piatti). In questi contesti, gli offset additivi dei sensori si trasferiscono "trivialmente" tra diverse condizioni operative, rendendo il problema della trasferibilità poco rilevante; la ricerca si è concentrata principalmente sulla rilevabilità e sullo stealth (furtività).

Tuttavia, molti sistemi critici per la sicurezza operano su spazi di stato geometrici non banali, come i gruppi di Lie:

• SE(2) e SE(3): per la posizione e l'orientamento di veicoli e robot.
• SO(3): per l'orientamento robotico.
• Gruppo di Heisenberg: per veicoli non olonomi.

In questi spazi, la non commutatività delle dinamiche del gruppo introduce una complessità fondamentale: un attacco che è "stealth" (inosservabile) durante un movimento rettilineo può diventare rilevabile durante una curva. Le operazioni di gruppo non commutano, quindi il moto non lineare del sistema può ruotare l'attacco rispetto alla sua posizione originale. Il paper si pone la domanda fondamentale: Quali condizioni algebriche garantiscono che un attacco appreso in una condizione operativa mantenga lo stesso impatto dinamico e la stessa furtività quando trasferito a un'altra condizione?

2. Metodologia e Quadro Teorico

Gli autori sviluppano un quadro unificato basato sull'algebra dei gruppi di Lie per caratterizzare la prevedibilità degli attacchi.

• Modellazione: Il sistema è modellato su un gruppo di Lie $G$ con dinamiche invarianti a sinistra. Gli attacchi sono modellati come traslazioni a destra ($T_{\exp(\xi)}x = x \exp(\xi)$), che catturano naturalmente gli spostamenti dei sensori nel riferimento del corpo (body-frame).
• Definizione di Trasferibilità: Un attacco è "trasferibile" se, applicato a una traiettoria vittima diversa da quella di addestramento, produce lo stesso impatto dinamico. Se evade anche la rilevazione, è "stealthily transferable".
• Strumenti Matematici:
  • Parentesi di Lie: Utilizzata per analizzare la commutatività tra le dinamiche nominali e l'attacco.
  • Azione Adjoint ($Ad_g$): Descrive come un vettore tangente viene trasformato sotto coniugazione, giocando un ruolo cruciale nell'amplificazione degli errori.
  • Osservatori Equivarianti: Utilizzati per la stima dello stato, sfruttando la geometria dello spazio per cancellare il riferimento globale e generare innovazioni invarianti.

3. Contributi Chiave

1. Formalizzazione dell'Equivalenza degli Attacchi:
   Gli autori definiscono rigorosamente la trasferibilità attraverso lo spazio degli stati e introducono un nuovo concetto di "stealth" su varietà generali, riducendo la sicurezza a livello di traiettoria a controlli algebrici a dimensione finita.

2. Caratterizzazione Algebrica della Trasferibilità (Teorema del Commutatore):
   È dimostrato che per un attacco $\xi$ essere trasferibile, deve commutare con le dinamiche nominali $f_e$ (il vettore di campo vettoriale a zero ordine).

   • Condizione: $[f_e, \xi] = 0$.
   • Questo isola gli attacchi trasferibili in un sottospazio invariante $\Delta_{f_e} = \ker([f_e, \cdot])$.
   • Gli attacchi al di fuori di questo sottospazio alterano in modo identificabile i residui del rivelatore.

3. Teorema di Decomposizione e Asimmetria Strutturale:
   Per attacchi che non sono perfettamente trasferibili (a causa di errori di stima o rumore), gli autori decompongono l'attacco in una componente ideale ($\xi \in \Delta_{f_e}$) e una componente residua che viola il commutatore ($\rho \notin \Delta_{f_e}$).

   • Asimmetria Fondamentale: L'azione Adjoint del flusso amplifica l'impatto fisico (deviazione della traiettoria) della componente residua. Tuttavia, la deviazione dello stealth (l'innovazione del rivelatore) rimane lineare e protetta dall'amplificazione dinamica grazie all'invarianza geometrica dell'osservatore.
   • Questo significa che piccoli errori nell'attacco possono causare grandi deviazioni fisiche, ma l'attacco può rimanere entro i limiti di rilevazione (stealth) se la componente residua è gestita correttamente.

4. Riduzione del Sottospazio con Manovre Complesse:
   Dimostrano che manovre complesse (es. curve strette) possono collassare il sottospazio trasferibile $\Delta_{f_e}$ a una sola direzione. Questo offre ai difensori un "leva" per forzare gli attacchi in direzioni rilevabili, neutralizzando la capacità dell'attaccante di manipolare lo stato in modo arbitrario.

4. Risultati e Validazione Numerica

Il framework è stato validato su un modello di unicyclo Dubins (veicolo SE(2)).

• Scenario: Un attaccante apprende un attacco di spoofing laterale durante un movimento rettilineo (dove $\Delta_{f_e}$ include le direzioni laterali).
• Trasferimento: L'attacco viene trasferito a un veicolo che esegue una curva.
• Risultati:
  • Gli attacchi puramente laterali o globali non commutano durante le curve e causano distorsioni osservabili.
  • Solo gli spostamenti lungo la traiettoria nominale rimangono nel sottospazio trasferibile.
  • Simulazione: Anche con un errore residuo ($\epsilon$) nell'attacco, la deviazione fisica rimane entro i limiti teorici calcolati tramite la norma dell'operatore Adjoint.
  • Stealth: L'errore accumulato nel rivelatore (innovazione) rimane al di sotto della soglia di rilevazione ($\tau$), confermando che l'attaccante può sfruttare l'asimmetria strutturale per mantenere l'attacco nascosto nonostante l'impatto fisico.

5. Significato e Implicazioni

Questo lavoro cambia radicalmente la prospettiva sulla sicurezza dei sistemi non lineari:

• Non è più un problema di rilevazione, ma di geometria: La trasferibilità non è garantita universalmente come nei sistemi lineari, ma è vincolata dalla simmetria intrinseca del sistema.
• Nuova Minaccia: Gli attaccanti possono sfruttare le proprietà geometriche (il "buco" nell'amplificazione dell'errore di stealth) per causare danni fisici significativi rimanendo invisibili ai sistemi di difesa tradizionali.
• Nuova Strategia Difensiva: I difensori possono implementare una "difesa a bersaglio mobile" (moving target defense) variando attivamente i comandi di ingresso ($u_k$) per collassare il sottospazio $\Delta_{f_e}$, rendendo impossibile per l'attaccante trovare un vettore di attacco che commuti con le dinamiche in corso.

In sintesi, il paper stabilisce che la sicurezza degli attacchi ai sensori sui gruppi di Lie dipende interamente dalla relazione algebrica tra l'attacco e le dinamiche del sistema, offrendo sia un metodo per progettare attacchi più sofisticati che nuovi strumenti geometrici per la difesa.