Sensor Attack Detection Method for Encrypted State Observers

Resumo Técnico: Método de Detecção de Ataques a Sensores para Observadores de Estado Criptografados

Enunciação do Problema
Em sistemas de controle em rede, o controle criptografado que utiliza criptografia homomórfica (HE) permite que cálculos sejam realizados sobre dados criptografados, preservando a confidencialidade. No entanto, surge um desafio crítico na garantia da integridade dos dados: a criptografia oculta os efeitos de ataques de corrupção de dados, como ataques a sensores. Abordagens existentes para detecção de ataques em sistemas criptografados tipicamente exigem o envio de sinais de resíduo criptografados para um detector externo que possui a chave de descriptografia, o que introduz sobrecarga de comunicação e potenciais riscos de segurança. Além disso, trabalhos anteriores dos autores limitavam-se a sistemas de entrada única e saída única (SISO). Este artigo aborda a necessidade de um observador de estado criptografado capaz de detectar ataques a sensores diretamente, sem descriptografia, aplicável a sistemas gerais de múltiplas entradas e múltiplas saídas (MIMO).

Metodologia
O método proposto integra um observador de estado projetado sobre um corpo finito de inteiros ($\mathbb{Z}_q$) com um esquema de criptografia homomórfica baseado em Learning With Errors (LWE) modificado.

1. Projeto do Observador sobre $\mathbb{Z}_q$:
   Os autores primeiro projetam um observador de estado operando sobre $\mathbb{Z}_q$ usando aritmética modular. O observador utiliza redundância de sensoriamento e a suposição de ataques esparsos (onde no máximo $k$ de $p$ sensores estão comprometidos). Ao construir observadores parciais para cada saída de sensor e combiná-los, forma-se um observador completo. Um sinal de resíduo específico, $\bar{r}(t)$, é definido como a diferença entre estimativas de estado derivadas de diferentes subconjuntos de sensores. Sob a suposição de que pelo menos $p-k$ sensores estão íntegros, um sinal de resíduo pequeno indica uma estimativa de estado válida, enquanto um sinal de resíduo grande indica um ataque. As matrizes do observador são escaladas e quantizadas para garantir que permaneçam com valores inteiros para criptografia.

2. Esquema de Criptografia Homomórfica Modificado:
   Para permitir a detecção de ataques sem descriptografia, os autores modificam o esquema de criptografia LWE padrão. A inovação central aproveita as dinâmicas de zero da representação do sistema MISO (Múltiplas Entradas, Saída Única) sobre $\mathbb{Z}_q$.

   • O sistema é decomposto em uma forma normal onde a saída (o resíduo) é impulsionada por estados internos específicos.
   • O algoritmo de criptografia é alterado para cancelar explicitamente o "termo de mascaramento" (o componente de ruído que oculta a mensagem) para o canal de saída específico correspondente ao sinal de resíduo.
   • Ao impor que o termo de mascaramento do resíduo criptografado permaneça identicamente zero, o sistema revela automaticamente o sinal de resíduo em uma coluna específica do texto cifrado.
   • Esta abordagem estende o trabalho anterior dos autores em SISO para sistemas MIMO gerais, aplicando o esquema repetidamente a cada canal de saída.

3. Detecção e Recuperação:
   O observador criptografado opera sobre entradas e estados criptografados. O sinal de resíduo é recuperado diretamente da primeira coluna dos textos cifrados resultantes por escalonamento, sem exigir a chave secreta. Se a magnitude deste resíduo recuperado exceder um limite prescrito, um ataque a sensor é detectado. Simultaneamente, o estado completo pode ser recuperado como uma mensagem criptografada ao descriptografar o estado do observador.

Contribuições Principais

• Detecção Direta de Ataques sem Descriptografia: O artigo propõe um esquema onde o sinal de resíduo, essencial para detecção de anomalias, é automaticamente revelado no domínio criptografado. Isso elimina a necessidade de transmitir resíduos criptografados para um terceiro confiável para descriptografia.
• Extensão para Sistemas MIMO: Diferentemente de trabalhos anteriores restritos a sistemas SISO, este método é aplicável a sistemas gerais de múltiplas entradas e múltiplas saídas, tratando ataques esparsos arbitrários a sensores através da aplicação repetida do esquema baseado em MISO.
• Exploração de Dinâmicas de Zero: Os autores introduzem um mecanismo para modificar textos cifrados LWE padrão, aproveitando as dinâmicas de zero do observador, garantindo que o termo de mascaramento para o sinal de resíduo seja anulado, mantendo a segurança do esquema subjacente.
• Garantias Teóricas: O artigo fornece condições sobre fatores de escalonamento e o módulo $q$ para garantir que o sinal de resíduo reflita com precisão a presença de ataques e que o erro de estimativa de estado permaneça limitado quando nenhum ataque estiver presente.

Resultados de Simulação
O método foi validado através de simulações em um sistema de três inércias (discretizado a partir de um modelo em Ogata (1995)).

• Configuração: O sistema possuía 6 estados, 1 entrada e 5 sensores. Os parâmetros de criptografia foram escolhidos para garantir segurança de 128 bits.
• Cenário: Um ataque esparso foi injetado no terceiro sensor em $t=2,5$ segundos.
• Resultado: A simulação demonstrou que o observador criptografado detectou com sucesso o ataque. O sinal de resíduo recuperado e o erro de estimativa de estado excederam ambos os limites teóricos definidos no artigo imediatamente após a injeção do ataque, confirmando que ataques podem ser detectados sem acessar a chave secreta.

Significado e Alegações
O artigo alega que o método proposto alcança um equilíbrio entre confidencialidade e integridade em sistemas de controle criptografados. Ao revelar apenas o sinal de resíduo (que representa a diferença entre estimativas de estado e não revela diretamente o estado da planta), o método detecta ataques sem comprometer a segurança do esquema LWE padrão além desta revelação intencional. Os autores observam que o sinal de resíduo é tipicamente dominado por ruído e incertezas de modelo, tornando difícil para um adversário extrair informações privadas significativas apenas do sinal revelado. O trabalho representa um passo em direção a um controle seguro e resiliente, onde a detecção de anomalias é integrada diretamente na camada de computação criptografada.