How Sensor Attacks Transfer Across Lie Groups

Resumo Técnico: Transferência de Ataques de Sensores em Grupos de Lie

Autores: Rijad Alisic e Saurabh Amin (MIT)
Contexto: Segurança de Sistemas Ciberfísicos (CPS) e Teoria de Controle Geométrico.

1. Problema e Motivação

A análise de spoofing (falsificação) de sensores em sistemas ciberfísicos é tradicionalmente limitada a espaços de estado lineares (espaços euclidianos planos). Nesses cenários, ataques aditivos (como offsets fixos) transferem-se trivialmente entre diferentes condições operacionais, tornando a "transferibilidade" um problema não crítico.

No entanto, muitos sistemas de segurança crítica operam em Grupos de Lie não triviais (ex: poses de veículos em $SE(2)$ ou $SE(3)$, orientações de robôs em $SO(3)$). Nestes espaços, a não comutatividade das dinâmicas do grupo implica que um ataque que é "invisível" (stealth) durante uma trajetória reta pode se tornar detectável durante manobras complexas (como curvas), pois a dinâmica do sistema distorce o ataque.

O problema central abordado é: Quais condições algébricas garantem que um ataque de sensor aprendido em uma condição operacional específica mantenha seu impacto dinâmico e sua furtividade (stealth) ao ser transferido para uma trajetória de vítima arbitrária em um Grupo de Lie?

2. Metodologia e Estrutura Teórica

Os autores desenvolvem uma estrutura algébrica unificada baseada na teoria de Grupos de Lie e Álgebras de Lie para caracterizar a previsibilidade de ataques.

• Modelagem do Sistema: O sistema é modelado com dinâmicas invariantes à esquerda em um Grupo de Lie $G$. Os ataques são modelados como translações à direita no espaço de estado ($x_k \to x_k \cdot \exp(\xi_k)$).
• Definição de Transferibilidade: Um ataque é considerado "transferível" se, ao ser aplicado em uma nova trajetória, induzir o mesmo impacto dinâmico e permanecer indetectável pelo observador equivariante (IEKF).
• Decomposição de Ataques: Reconhecendo que atacantes não conhecem perfeitamente as dinâmicas reais, o ataque realizado é decomposto em:
  1. Um componente ideal ($\xi_k$) que reside no subespaço invariante.
  2. Um resíduo ($\rho_k$) que viola as condições de comutação (erro de aprendizado ou ruído).
• Análise Geométrica: Utiliza-se a ação Adjoint ($Ad_g$) e o colchete de Lie ($[ \cdot, \cdot ]$) para analisar como os erros se propagam e são amplificados ou atenuados pelas manobras do sistema.

3. Principais Contribuições

1. Formalização de Equivalência de Ataques: Definição rigorosa de transferibilidade e furtividade em variedades gerais, reduzindo o problema de segurança de trajetória a verificações algébricas de dimensão finita.
2. Caracterização via Álgebra de Lie: Demonstração de que a transferência bem-sucedida exige que o sinal de ataque e o desvio do detector comutem com as dinâmicas nominais. Isso restringe os ataques transferíveis a um subespaço invariante definido pelo núcleo do operador de colchete de Lie:
   $$\Delta_{f_e} = \ker([f_e, \cdot]) = \{ \xi \in \mathfrak{g} \mid [f_e, \xi] = 0 \}$$
   Onde $f_e$ representa a dinâmica nominal.
3. Teorema de Decomposição e Assimetria Estrutural: O artigo revela uma assimetria fundamental no tratamento de erros:
   • Impacto Dinâmico: Componentes que violam o subespaço ($\rho \notin \Delta_{f_e}$) têm seu impacto físico amplificado pela ação Adjoint da dinâmica do sistema (atuando como um "braço de alavanca" cinemático).
   • Furtividade (Stealth): A detecção (innovção do filtro) é protegida pela invariância do observador. O erro acumulado no estado do detector sofre distorção, mas a inovação permanece linearmente relacionada ao erro, sem a mesma amplificação dinâmica.
   • Conclusão da Assimetria: Pequenos erros de ataque podem causar grandes desvios na trajetória física do sistema, enquanto a deterioração da furtividade permanece bounded (limitada).

4. Resultados e Exemplos Numéricos

• Caso de Estudo (Dubins Unicycle): O modelo foi aplicado a um veículo Dubins (movimento em $SE(2)$).
  • Movimento Reto: O subespaço transferível $\Delta_{f_e}$ inclui deslocamentos laterais e longitudinais.
  • Movimento Curvo (Curvas): A condição de comutação colapsa o subespaço transferível para uma única direção (ao longo da trajetória). Ataques puramente laterais ou globais que não se alinham com a curva tornam-se detectáveis.
• Simulação de Transferência:
  • Um ataque aprendido em movimento reto foi transferido para um cenário de curva.
  • O resíduo lateral ($\rho$) foi rotacionado pela ação Adjoint, mas sua magnitude não foi amplificada pelos parâmetros de translação grandes ($p_f, p_l$).
  • Resultado: O desvio real da trajetória permaneceu dentro dos limites teóricos previstos pelo Teorema 1, e o erro de rastreamento do detector manteve-se abaixo do limiar de detecção ($\tau$), confirmando que ataques imperfeitos podem permanecer furtivos mesmo em manobras complexas, desde que o resíduo esteja alinhado corretamente.

5. Significado e Implicações

• Para Defensores: A descoberta de que manobras complexas podem "colapsar" o subespaço invariante oferece uma nova estratégia de defesa. Ao sequenciar ativamente os comandos de controle ($u_k$) para reduzir a dimensão de $\Delta_{f_e}$, o sistema pode forçar ataques a entrarem em direções detectáveis, neutralizando a capacidade do atacante de manipular o estado de forma transferível.
• Para Ataques: O trabalho revela uma "falha geométrica" (loophole): atacantes podem explorar a assimetria entre a amplificação dinâmica e a proteção da furtividade. Ataques com pequenos erros podem causar danos físicos significativos sem disparar alarmes, desde que o erro resíduo seja geometricamente compatível com a ação Adjoint do sistema.
• Avanço Teórico: O artigo preenche uma lacuna fundamental ao estender a análise de ataques de replay e spoofing de espaços lineares para espaços não-euclidianos, fornecendo as ferramentas algébricas necessárias para analisar a segurança em sistemas com simetrias não triviais.

Em suma, o paper demonstra que a transferibilidade de ataques em sistemas não lineares não é uma questão de detecção, mas sim uma restrição cinemática intrínseca à simetria do sistema, governada pela estrutura do colchete de Lie.