How Sensor Attacks Transfer Across Lie Groups

Titel: Hoe Sensoraanvallen Overdragen over Lie-groepen

1. Probleemstelling

Sensor spoofing (het manipuleren van sensorgegevens) is een bekende bedreiging voor cyber-fysische systemen (CPS). Bestaande theoretische analyses zijn grotendeels beperkt tot lineaire toestandsruimten (Euclidische ruimten), waar de overdracht van aanvallen triviaal is: een additieve sensoroffset blijft constant en voorspelbaar, ongeacht de beweging van het systeem.

Veel veiligheidskritieke systemen, zoals autonome voertuigen (SE(2)/SE(3)), robotoriëntaties (SO(3)) en niet-holonome voertuigen, opereren echter op Lie-groepen. Op deze niet-commutatieve manifolds kunnen dynamische bewegingen de aard van een aanval veranderen. Een aanval die "stealth" (onopgemerkt) is tijdens rechte lijn rijden, kan detecteerbaar worden tijdens een bocht omdat de dynamica de aanval roteert ten opzichte van zijn positie.

De kernvraag van dit artikel is: Onder welke algebraïsche voorwaarden kan een sensoraanval die in één bedrijfsomstandigheid is geleerd, worden overgedragen naar een andere omstandigheid, waarbij zowel de fysieke impact als de onopgemerktheid (stealthiness) behouden blijft?

2. Methodologie en Wiskundig Kader

De auteurs ontwikkelen een unificerend algebraïsch kader gebaseerd op de theorie van Lie-groepen en Lie-algebra's.

• Systeemmodellering: Het systeem wordt gemodelleerd met links-invariante dynamica op een Lie-groep $G$. Aanvallen worden gemodelleerd als rechts-translaties ($x \cdot \exp(\xi)$), wat overeenkomt met verplaatsingen in het lichaam-georiënteerde frame (body-frame).
• Stealth en Detectie: Het artikel gebruikt een equivariante waarnemer (zoals een Invariant Extended Kalman Filter - IEKF). Deze waarnemer gebruikt een invariant foutconcept dat de globale referentiekader onafhankelijk maakt. Detectie gebeurt via de "innovation" ($I_k$), de afwijking tussen de voorspelde en gemeten waarden.
• Overdrachtdefinitie: Een aanval is "overdraagbaar" als deze dezelfde dynamische impact heeft op een slachtoffertraject als op het leertraject. Een aanval is "stealthily overdraagbaar" als deze ook dezelfde innovatie-sequentie genereert, waardoor de detectie wordt vermeden.
• Decompositie: De auteurs analyseren imperfecte aanvallen door deze te decomponeren in een ideaal component (dat in de juiste deelruimte ligt) en een residu (fout) dat deze ruimte schendt.

3. Belangrijkste Bijdragen

A. Algebraïsche Voorwaarde voor Overdraagbaarheid (Lie-haak)
De auteurs bewijzen dat voor een aanval om invariant over te dragen, deze moet commuteren met de nominale dynamica.

• Laat $f_e$ de dynamica-generator zijn en $\xi$ de aanval. De voorwaarde is:
  $$[f_e, \xi] = 0$$
• Dit betekent dat de aanval $\xi$ in de kern van de Lie-haak moet liggen, gedefinieerd als de invariant deelruimte $\Delta_{f_e} = \ker([f_e, \cdot])$.
• Als deze voorwaarde niet wordt voldaan, zal de dynamica de aanval vervormen (rotatie/schaalverandering via de Adjoint-actie), waardoor deze detecteerbaar wordt of een andere fysieke impact heeft.

B. De Decompositiestelling en Asymmetrie
Voor kleine afwijkingen van de ideale aanval (waarbij $\hat{\xi} = \xi + \rho$, met $\rho$ als residu), onthult de theorie een fundamentele asymmetrie:

1. Fysieke Impact: De fysieke afwijking van het traject wordt versterkt door de Adjoint-actie ($Ad_{g}$) van de stroming. Fouten die de commutatie schenden, worden als een kinematische hefboom versterkt door de beweging van het voertuig.
2. Stealth (Detectie): De verandering in de detectorinnovatie (stealth) wordt niet versterkt door de Adjoint-actie. De equivariante structuur van de waarnemer zorgt ervoor dat de innovatie onafhankelijk blijft van het globale referentiekader. De cumulatieve fout in de toestand wordt wel versterkt, maar de directe impact op de detector blijft lineair en begrensd.

C. Geometrische Beperking van de Aanval
De deelruimte $\Delta_{f_e}$ is een Lie-subalgebra. Dit beperkt de aanval tot een specifieke integraalvariëteit (leaf) binnen de toestandsruimte. Defenders kunnen dit uitbuiten door de besturing ($u_k$) zo te variëren dat de dimensie van $\Delta_{f_e}$ krimpt (bijv. van 2D naar 1D), waardoor de aanvalster zich in een detecteerbare richting moet bewegen.

4. Resultaten en Numeriek Voorbeeld

Het artikel valideert de theorie met een Dubins-unicycle model (een voertuig dat beweegt in SE(2)).

• Scenario: Een aanval wordt geleerd tijdens rechtlijnig rijden (waar $\omega=0$). In deze modus is de overdraagbare deelruimte $\Delta_{f_e}$ groot (omvat voorwaartse en zijwaartse verplaatsingen).
• Overdracht: Wanneer de aanval wordt toegepast tijdens het rijden in een bocht ($\omega \neq 0$), verandert de deelruimte $\Delta_{f_e}$. Alleen verplaatsingen exact langs de trajectrichting commuteren nog.
• Foutanalyse: Als de aanval een klein residu bevat dat niet in de nieuwe $\Delta_{f_e}$ ligt (bijv. een zijwaartse fout tijdens een bocht), wordt de fysieke impact versterkt door de Adjoint-matrix. Echter, het artikel toont aan dat bepaalde residuen (zoals zuiver zijwaartse fouten in dit specifieke model) de Adjoint-versterking kunnen omzeilen en hun grootte behouden, waardoor ze binnen de detectiedrempel blijven.
• Conclusie van het voorbeeld: Zelfs bij imperfecte aanvallen blijven de gerealiseerde afwijkingen binnen de theoretische bovengrens die door de Adjoint-actie wordt bepaald. Dit bevestigt dat een aanvaller, mits binnen de theoretische grenzen, een estimator kan "hijacken" zonder detectie, zelfs bij complexe manoeuvres.

5. Betekenis en Conclusie

Dit onderzoek verschuift het perspectief op sensoraanvallen van een puur lineair probleem naar een geometrisch en algebraïsch probleem.

• Fundamenteel Inzicht: In niet-commutatieve systemen is overdraagbaarheid geen gegeven, maar een strikte kinematische beperking. Aanvallen zijn alleen veilig overdraagbaar als ze commuteren met de systeemdynamica.
• Verdedigingsimplicaties: Defenders kunnen de "aanvalsvrijheidsgraden" van een aanvaller structureel verminderen door de besturing zo te plannen dat de commutatie-deelruimte ($\Delta_{f_e}$) zo klein mogelijk wordt (bijv. door veelvuldig te draaien). Dit dwingt de aanvaller om fouten te maken die detecteerbaar zijn.
• Aanvalsperspectief: Aanvallers kunnen gebruikmaken van de asymmetrie tussen fysieke versterking en detectorbescherming. Ze kunnen kleine fouten maken die de fysieke positie van het voertuig significant beïnvloeden, terwijl de detector deze fouten niet ziet als een anomalie, zolang de cumulatieve drift binnen de drempel blijft.

Samenvattend biedt dit papier een wiskundig onderbouwd raamwerk om te begrijpen waarom en wanneer sensor spoofing in complexe, niet-lineaire systemen succesvol kan worden overgedragen, en biedt het nieuwe methoden voor zowel het detecteren van dergelijke aanvallen als het ontwerpen van robuuste systemen.