⚡ electrical engineering

Analysis of Dynamic-Key LWE-Based Encrypted Control Systems for Asymptotic Stability and Numerical Safety

Este artigo estabelece condições baseadas em Lyapunov para parâmetros de codificador e decodificador variantes no tempo em sistemas de controle criptografados baseados em LWE de chave dinâmica para garantir tanto a estabilidade assintótica quanto a segurança numérica contra overflow, validadas por meio de exemplos numéricos.

Autores originais: Jungjin Park, Kiminao Kogiso

Publicado 2026-08-27

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Jungjin Park, Kiminao Kogiso

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No mundo moderno, as máquinas que mantêm nossas redes elétricas funcionando, os robôs que montam nossos carros e os sistemas que guiam nosso transporte estão cada vez mais conectados a redes. Essa integração de maquinário físico com comunicação digital oferece uma eficiência incrível, mas também abre uma porta para o perigo. Se um hacker interceptar os sinais entre um sensor e um controlador, ele poderá alterar sutilmente as instruções, fazendo com que uma máquina apresente mau funcionamento ou até falhe catastroficamente. Para impedir isso, os engenheiros recorreram a um método chamado controle criptografado. Em vez de enviar dados claros e legíveis, o sistema embaralha a informação para que apenas o receptor pretendido possa entendê-la, embora o computador no meio ainda possa realizar os cálculos necessários para manter a máquina funcionando. Por décadas, isso dependeu de enigmas matemáticos que eram difíceis de resolver para computadores clássicos. No entanto, a rápida ascensão dos computadores quânticos ameaça quebrar esses velhos enigmas, deixando os sistemas futuros vulneráveis. Cientistas agora correm para construir novos sistemas de segurança baseados em diferentes problemas matemáticos que nem mesmo os computadores quânticos conseguem quebrar facilmente, garantindo que a infraestrutura crítica do amanhã permaneça segura contra ataques digitais.

Uma equipe de pesquisadores da Universidade de Eletrocomunicações no Japão deu um passo significativo à frente nessa corrida ao resolver um problema específico e persistente que tem assolado esses novos sistemas de segurança: como mantê-los estáveis e seguros enquanto estão em operação. Eles se concentraram em um tipo de criptografia avançada baseada em um conceito chamado "Aprendizado com Erros" (Learning with Errors), que intencionalmente adiciona uma pequena quantidade de ruído aos dados para torná-los seguros. Embora esse ruído seja necessário para a segurança, ele cria um efeito colateral: se o sistema tentar processar dados demais de uma só vez ou se os números ficarem grandes demais, o sistema pode transbordar, muito parecido com um copo enchendo além de sua borda e derramando. Quando isso acontece em um sistema de controle, os números giram incorretamente, levando a comportamentos caóticos e potencialmente perigosos. Os pesquisadores descobriram que usar simplesmente um método fixo para lidar com esses números não era suficiente para garantir a segurança, especialmente conforme o sistema operava por períodos mais longos.

O cerne de seu trabalho envolve um design inteligente para as partes de "tradução" do sistema — os codificadores e decodificadores que convertem medições do mundo real em números criptografados e vice-versa. Em tentativas anteriores, os engenheiros frequentemente usavam uma configuração estática, o que significa que as regras de tradução nunca mudavam. Os pesquisadores descobriram que essa abordagem falha quando o sistema encontra o ruído inevitável introduzido pelo processo de criptografia. Em vez disso, eles desenvolveram uma abordagem dinâmica onde as regras de tradução se ajustam em tempo real. Imagine uma lente de câmera que ajusta automaticamente seu foco conforme um objeto se aproxima ou se afasta; da mesma forma, o sistema deles ajusta constantemente como escala os números com base no estado atual da máquina. Ao fazer isso, eles derivaram um conjunto de regras precisas que dizem ao sistema exatamente quanto deve escalar os dados a cada momento. Essas regras garantem duas coisas críticas: primeiro, que a máquina eventualmente se estabilizará e parará de oscilar, mesmo com o ruído presente; e segundo, que os números nunca crescerão tanto a ponto de causar um transbordamento e uma falha no sistema.

Para provar sua teoria, a equipe construiu uma simulação digital de um sistema de controle e a submeteu a milhares de etapas. Eles compararam o novo método adaptativo com métodos antigos que utilizavam configurações fixas. Os resultados foram claros. Os métodos antigos, que ignoravam o impacto específico do ruído de criptografia, acabaram fazendo com que o sistema se desviasse de seu alvo, falhando em se estabilizar completamente. Em contraste, o sistema utilizando as novas regras dinâmicas dos pesquisadores permaneceu estável e preciso durante toda a simulação. Os movimentos da máquina retornaram ao normal e os dados nunca excederam os limites seguros, evitando quaisquer erros de transbordamento. A equipe também mediu quanto tempo cada etapa do processo levava em um chip de computador padrão, descobrindo que os cálculos eram rápidos o suficiente para serem usados em aplicações de tempo real, com cada etapa levando menos de um milissegundo.

Este trabalho não oferece apenas uma ideia teórica; fornece um roteiro concreto para construir sistemas de controle seguros que possam resistir às ameaças do futuro. Os pesquisadores mostraram que, ao gerenciar cuidadosamente como o sistema escala seus dados, é possível ter tanto alta segurança quanto alta confiabilidade. Suas descobertas sugerem que agora podemos projetar sistemas de controle que sejam resistentes a ataques quânticos sem sacrificar a estabilidade necessária para que funcionem com segurança. Embora o estudo tenha sido conduzido através de simulação, os resultados indicam que esses codificadores e decodificadores dinâmicos são um caminho viável para proteger as redes críticas que regem nosso mundo moderno. O próximo passo para os pesquisadores será levar esses designs para fora do computador e testá-los em hardware físico real, passando de uma prova de conceito digital para uma solução do mundo real.

Resumo Técnico: Análise de Sistemas de Controle Criptografados Baseados em LWE de Chave Dinâmica para Estabilidade Assintótica e Segurança Numérica

Definição do Problema
A integração de Sistemas Ciber-Físicos (CPSs) com controladores em rede introduz vulnerabilidades de segurança significativas, tornando necessário o uso de controle criptografado. Embora a Criptografia Homomórfica (HE) permita computações sobre dados criptografados, a transição para a Criptografia Pós-Quântica (PQC) baseada no problema de Aprendizado com Erros (LWE) apresenta desafios únicos. Diferente dos esquemas convencionais, os sistemas baseados em LWE introduzem erros de criptografia intencionais para garantir a segurança. Em sistemas de controle criptografados, esses erros de criptografia, combinados com erros de quantização provenientes da conversão de sinais de valores reais para texto simples (plaintext), podem desestabilizar o sistema ou causar overflow numérico.

Pesquisas existentes abordaram a estabilidade em controle criptografado tratando os erros como perturbações limitadas ou assumindo ruído de criptografia desprezível. No entanto, essas abordagens frequentemente dependem de quantizadores estáticos ou falham em considerar a propagação de erro específica inerente aos esquemas de LWE de chave dinâmica. O problema central abordado neste estudo é a falta de condições rigorosas para o design de codificadores (encoders) e decodificadores (decoders) que garantam simultaneamente a estabilidade assintótica e a segurança numérica (prevenção de overflow) em sistemas de controle de feedback de estado utilizando LWE de chave dinâmica.

Metodologia
Os autores propõem um framework para analisar e projetar codificadores e decodificadores variantes no tempo para um sistema de controle de feedback de estado linear em tempo discreto. A metodologia procede da seguinte forma:

Modelagem do Sistema: O estudo modela um sistema de controle criptografado onde o ganho do controlador é codificado usando um quantizador estático ( $\gamma_0$ ) e o estado do sistema é codificado usando um quantizador variante no tempo ( $\gamma_1(k)$ ). O sistema utiliza um esquema de criptografia LWE de chave dinâmica, onde chaves privadas e textos cifrados são atualizados conjuntamente a cada etapa para resistir a ataques de replay e de identificação de sistema.
Caracterização do Erro: Os autores derivam limites explícitos para dois tipos de erros:
- Erro de Quantização ( $\delta_x$ ): Resultante da conversão de estados de valores reais para inteiros de texto simples.
- Erro de Criptografia ( $\delta_u$ ): Resultante do processo de decriptação LWE, que depende do ruído de criptografia, do ganho de quantização e dos parâmetros do controlador.
Análise de Estabilidade: Utilizando uma abordagem baseada em Lyapunov, os autores analisam a dinâmica do sistema em malha fechada na presença de ambos os tipos de erro. Eles constroem um candidato à função de Lyapunov para derivar condições sob as quais o sistema permanece assintoticamente estável, apesar do ruído aditivo.
Prevenção de Overflow: O estudo define "segurança numérica" como a condição onde os valores codificados permanecem dentro do espaço de texto simples ( $\mathbb{Z}_t$ ) para evitar overflow induzido por módulo. Os autores derivam limites superiores para os ganhos de quantização para garantir essa segurança.
Derivação Teórica: O artigo formula um conjunto de desigualdades (Teorema 1) que definem os intervalos admissíveis para o ganho estático $\gamma_0$ e o ganho variante no tempo $\gamma_1(k)$ . Essas condições garantem que a função de Lyapunov diminua ao longo do tempo (estabilidade) enquanto os valores codificados não excedem o módulo $t$ (segurança).

Principais Contribuições
O estudo apresenta as seguintes contribuições específicas:

Condições de Estabilidade sob Ruído de Criptografia: Diferente de trabalhos anteriores que assumiam erros de criptografia desprezíveis ou utilizavam quantizadores estáticos, este artigo deriva condições sobre os ganhos de quantização que garantem a estabilidade assintótica mesmo quando os erros de criptografia não são desprezíveis.
Escalonamento de Ganho Dinâmico: Os autores caracterizam o intervalo admissível para um ganho de quantização variante no tempo $\gamma_1(k)$ . A análise revela que, para manter a estabilidade conforme o estado do sistema converge para zero, o ganho de quantização deve aumentar ao longo do tempo (ou seja, $\gamma_1(k) \to \infty$ conforme $\|x(k)\| \to 0$ ).
Limites de Segurança Numérica: O artigo fornece limites superiores explícitos para os ganhos de quantização para prevenir overflow no espaço de texto cifrado, um requisito crítico para a operação correta de sistemas LWE.
Framework Abrangente: O estudo unifica a análise de erros de quantização e de criptografia, oferecendo um conjunto completo de diretrizes de design para um controle de feedback de estado criptografado confiável.

Resultados
A validade das condições derivadas foi confirmada através de simulações numéricas utilizando uma planta linear de 3 estados e um esquema LWE de chave dinâmica com segurança de 128 bits.

Estabilidade Assintótica: Os resultados da simulação demonstram que o codificador variante no tempo proposto (projetado de acordo com o Teorema 1) consegue levar os estados do sistema a zero, alcançando estabilidade assintótica. Em contraste, um codificador estático (usando um $\gamma_1$ fixo) falhou em alcançar a estabilidade assintótica assim que a norma do estado tornou-se suficientemente pequena, pois o ganho fixo violou o limite inferior necessário para a estabilidade.
Tratamento de Ruído: O método proposto gerenciou efetivamente o ruído de criptografia. Comparações com um método de literatura prévia (que não considerava o erro de criptografia no design do ganho) mostraram que a abordagem não modificada resultou em desvios significativos dos sinais de controle originais e das trajetórias de estado.
Prevenção de Overflow: As simulações confirmaram que os ganhos projetados mantiveram os valores codificados dentro do intervalo válido de texto simples, prevenindo o overflow.
Eficiência Computacional: Os autores mediram o tempo de processamento em um MacBook Air equipado com um chip Apple M4 e 24 GB de memória, executando macOS Tahoe 26.5. O tempo de processamento total por etapa foi reportado como (7,51 ± 0,07) × 10⁻¹ ms. Isso sugere a viabilidade de implementação em tempo real para sistemas de controle com períodos de amostragem na escala de milissegundos.

Significância e Alegações
O artigo alega que sua principal significância reside no estabelecimento da base teórica para sistemas de controle criptografados confiáveis baseados em LWE de chave dinâmica. Ao considerar explicitamente a interação entre erros de quantização e de criptografia, o estudo fornece as condições necessárias para garantir que tais sistemas não apenas operem, mas operem de forma estável e segura.

Os autores enfatizam que sua abordagem garante a estabilidade assintótica na presença de erros de criptografia, uma limitação de abordagens anteriores com quantizadores estáticos. Além disso, ao caracterizar o intervalo admissível de ganhos para prevenir overflow, o estudo aborda a questão crítica da segurança numérica, que é frequentemente negligenciada em análises de estabilidade de sistemas baseados em PQC. O trabalho posiciona-se como um passo em direção ao implantação prática do controle criptografado resistente ao quantum, oferecendo um framework de design que equilibra segurança, estabilidade e integridade numérica. O trabalho futuro foca na implementação prática deste framework em sistemas do mundo real e em sua extensão para configurações de controle mais gerais.

Mais como este