Dynamic-Key Post-Quantum Encrypted Control Against System Identification Attacks

Resumo Técnico: Controle Criptografado Pós-Quântico com Chave Dinâmica contra Ataques de Identificação de Sistemas

Este trabalho aborda a segurança de Sistemas Ciber-Físicos (CPS), como redes elétricas inteligentes e infraestruturas de cidades inteligentes, propondo um novo framework de controle que protege tanto os sinais de controle quanto a dinâmica interna do sistema contra ataques de identificação de sistemas, utilizando criptografia pós-quântica (PQC).

1. O Problema

Os sistemas de controle criptografados convencionais utilizam criptografia homomórfica para permitir cálculos sobre dados cifrados. No entanto, dois problemas principais persistem:

• Vulnerabilidade Quântica: Sistemas baseados em RSA ou ElGamal são vulneráveis a futuros ataques de computadores quânticos.
• Ataques de Identificação de Sistemas: Mesmo com criptografia pós-quântica (PQC) de chave estática, um adversário pode coletar dados de entrada-saída cifrados ao longo do tempo. Se o adversário conseguir descriptografar esses dados, ele pode usar métodos como o de Mínimos Quadrados para estimar a dinâmica do sistema (matrizes $A$ e $B$), permitindo ataques furtivos (como ataques de dinâmica zero) que podem desestabilizar o sistema sem serem detectados.

2. Metodologia Proposta

Os autores propõem um sistema de controle de realimentação de estado baseado em um esquema de criptografia Learning with Errors (LWE) com chave dinâmica.

• Esquema LWE de Chave Dinâmica: Diferente dos métodos tradicionais, o estudo desenvolve "mapas de transição" ($T_K, T_{Cv}, T_{CG}$) que atualizam simultaneamente a chave privada e os textos cifrados em cada passo de controle. Isso garante que cada amostra transmitida seja criptografada com uma chave diferente, impedindo o acúmulo de dados úteis para o atacante.
• Operações Homomórficas: O esquema permite a adição homomórfica e a multiplicação homomórfica (entre um texto cifrado de matriz e um de vetor), permitindo que o controlador calcule a lei de controle $u(k) = Fx(k)$ sem nunca descriptografar os estados ou os ganhos.
• Análise de Erro e Decodificação: Como as operações homomórficas introduzem ruído (erros), os autores derivam condições matemáticas rigorosas (Lema 4 e Teorema 1) para garantir que o erro acumulado não ultrapasse o limite de decodificação, assegurando que o controle resultante seja idêntico ao de um sistema quantizado original.

3. Principais Contribuições

1. Extensão da Criptografia de Chave Dinâmica para PQC: O trabalho expande o conceito de chaves dinâmicas (antes limitado ao esquema ElGamal) para o framework LWE, que é resistente a ataques quânticos.
2. Desenvolvimento de Mapas de Atualização: Introdução de mecanismos que atualizam a chave privada e os estados criptográficos de forma coordenada durante o loop de controle.
3. Procedimento de Design de Segurança: Propõe um método para selecionar parâmetros de segurança baseando-se em duas métricas:
   • Complexidade de Identificação de Amostras: O número de amostras necessárias para um atacante identificar o sistema.
   • Tempo de Decifração Quântica ($T_Q$): O tempo computacional necessário para um computador quântico quebrar as chaves.
     O objetivo é garantir que $T_Q > T_c$ (onde $T_c$ é a vida útil operacional do sistema).

4. Resultados e Validação

• Simulação Numérica: Foi testado um sistema linear discreto onde os parâmetros foram projetados para garantir uma segurança de 74 bits quânticos e um tempo de decifração superior a 10 anos.
• Precisão do Controle: Os resultados mostraram que, quando os parâmetros ($\Delta, t, q$) seguem o procedimento proposto, a diferença entre o controlador criptografado e o controlador quantizado original é desprezível. Em contraste, quando os parâmetros não seguem as condições de erro, erros de decodificação surgem, comprometendo o controle.
• Segurança Comprovada: O sistema demonstrou ser robusto contra o cenário de ataque de identificação de sistemas considerado.

5. Significância

Este trabalho é fundamental para a segurança da Indústria 5.0. Ele resolve o dilema entre a necessidade de processar dados de forma privada (via criptografia homomórfica) e a necessidade de proteger a propriedade intelectual da dinâmica do sistema contra ataques de engenharia reversa, tudo isso mantendo a resiliência contra a futura ameaça da computação quântica.