A Learning With Errors based encryption scheme for dynamic controllers that discloses residue signal for anomaly detection

Resumo Técnico: Um Esquema de Criptografia Baseado em Learning With Errors para Controladores Dinâmicos que Divulga o Sinal de Resíduo para Detecção de Anomalias

Formulação do Problema
O artigo aborda uma limitação crítica em sistemas de controle criptografados: enquanto a criptografia homomórfica (HE) garante a confidencialidade dos parâmetros e sinais de controle durante a transmissão e o cálculo, ela simultaneamente obscurece as informações necessárias para a detecção de anomalias. Em arquiteturas padrão de controle criptografado, o sinal de resíduo (o desvio do comportamento esperado usado para detectar ataques como injeção de dados falsos ou negação de serviço) permanece criptografado. Consequentemente, detectar anomalias exige either compartilhar a chave secreta com um detector do lado da rede (introduzindo riscos de segurança) ou realizar comparações computacionalmente intensivas no domínio criptografado seguidas de descriptografia. Os autores enquadram o problema como o projeto de um esquema de criptografia que divulga automaticamente o sinal de resíduo como texto plano para detecção de anomalias, mantendo a confidencialidade de todos os outros sinais do sistema e as garantias de segurança do sistema criptográfico subjacente.

Metodologia
A solução proposta baseia-se no esquema de criptografia baseado em Learning With Errors (LWE), que garante segurança ao adicionar um termo de mascaramento aleatório à mensagem. A metodologia central envolve caracterizar as "dinâmicas de zero" do sistema dinâmico criptografado definido sobre um corpo finito de inteiros ($\mathbb{Z}_q$).

1. Manipulação das Dinâmicas de Zero: Os autores analisam as dinâmicas do termo de mascaramento ($b_r(t)$) associado ao sinal de resíduo. Eles demonstram que, manipulando adequadamente o estado inicial criptografado e a sequência de entradas criptografadas, o termo de mascaramento pode ser forçado a permanecer identicamente zero ($b_r(t) \equiv 0$) para todos os passos de tempo. Isso é alcançado cancelando porções específicas do estado inicial e da sequência de entrada com base nas dinâmicas de zero do sistema (derivadas via uma transformação de coordenadas para a forma normal de Byrnes-Isidori).
2. Divulgação Automática: Quando o termo de mascaramento é zero, o primeiro componente do texto cifrado resultante corresponde diretamente ao sinal de resíduo em texto plano. Isso permite que um detector do lado da rede leia o sinal de resíduo diretamente, sem exigir a chave secreta ou realizar descriptografia.
3. Implementação de Controlador Dinâmico sobre $\mathbb{R}$: Para aplicar isso a controladores do mundo real operando sobre números reais, os autores propõem um método para converter o controlador em um sistema baseado em inteiros sobre $\mathbb{Z}_q$. Diferentemente de abordagens anteriores que exigem "re-cifragem" (descriptografar a saída do controlador no atuador, re-cifrá-la e alimentá-la de volta para converter a matriz de estado em inteiros), este esquema utiliza o sinal de resíduo divulgado diretamente como uma entrada de realimentação. Isso elimina a necessidade de um link de comunicação adicional entre o atuador e o controlador.
4. Análise de Segurança: O artigo fornece uma análise formal de segurança mostrando que a visão de um adversário observando os textos cifrados modificados é deterministicamente reconstruível a partir de uma visão que inclui os textos cifrados padrão mais o sinal de resíduo divulgado. Isso prova que o esquema não vaza informações além daquelas implicadas pelo próprio sinal de resíduo.

Principais Contribuições

• Divulgação do Sinal de Resíduo: A contribuição principal é um esquema de criptografia baseado em LWE que divulga automaticamente o sinal de resíduo para detecção de anomalias sem descriptografia, mantendo a confidencialidade de todos os outros sinais (estados, entradas, saídas).
• Eliminação da Re-cifragem: O artigo apresenta um método para implementar controladores dinâmicos com matrizes de estado não inteiras sobre dados criptografados sem a necessidade de re-cifragem. Ao utilizar o sinal de resíduo divulgado como uma entrada de realimentação, o esquema evita a sobrecarga computacional e de comunicação associada às estratégias anteriores de re-cifragem.
• Garantias Teóricas: Os autores estabelecem condições sob as quais o controlador criptografado preserva o desempenho do controlador não criptografado (erro limitado) e provam que a segurança do esquema LWE padrão não é comprometida além da divulgação intencional.

Resultados
Os autores validam sua abordagem por meio de simulações numéricas em um sistema de duas massas e molas.

• Desempenho: A simulação compara o controlador não criptografado contra o controlador criptografado proposto. Os resultados mostram que o controlador criptografado gera entradas de controle e sinais de resíduo virtualmente idênticos ao caso não criptografado, satisfazendo os limites de desempenho derivados na teoria.
• Detecção de Anomalias: Um cenário de ataque envolvendo um sinal aditivo injetado na saída do sensor foi simulado. Tanto o controlador não criptografado quanto o criptografado detectaram com sucesso o ataque usando um detector de anomalias baseado em Soma Acumulada (CUSUM). Os sinais de resíduo e as estatísticas CUSUM foram comparáveis, confirmando que a divulgação do sinal de resíduo não prejudica as capacidades de detecção.
• Eficiência: O método proposto evita o link de comunicação adicional e os ciclos de descriptografia/cifragem no atuador exigidos por métodos de re-cifragem, reduzindo assim a carga computacional e a latência.

Significado e Alegações
O artigo alega que seu esquema proposto resolve o trade-off fundamental entre confidencialidade de dados e detectabilidade de anomalias em sistemas de controle criptografados. Ao aproveitar as dinâmicas de zero do sistema, permite que um detector do lado da rede monitore a saúde do sistema sem acesso à chave secreta. Os autores enfatizam que isso é alcançado sem comprometer a segurança semântica do esquema LWE subjacente. Além disso, a capacidade de operar controladores dinâmicos sobre números reais sem re-cifragem aborda uma barreira prática significativa na implantação de sistemas de controle criptografados, oferecendo uma arquitetura mais eficiente para operações em tempo real. O trabalho é posicionado como um passo em direção a sistemas de controle em rede seguros e resilientes, onde privacidade e segurança (via detecção de anomalias) não são mutuamente exclusivas.