Co-Design of Cryptographic Parameters and Delay-Aware Feedback Gain for Encrypted Control Systems

Título: Co-Design de Parâmetros Criptográficos e Ganho de Feedback Consciente de Atraso para Sistemas de Controle Criptografados

1. Problema e Motivação

O artigo aborda o desafio de implementar Controle Criptografado em Sistemas de Controle em Rede (NCS) utilizando Criptografia Homomórfica (HE).

• Contexto: A HE permite realizar operações aritméticas diretamente sobre dados criptografados, protegendo a privacidade tanto na comunicação quanto no processamento em servidores remotos (que podem ser "semi-honestos").
• O Problema: A maioria das abordagens existentes projeta o controlador no domínio de texto plano e, em seguida, tenta implementá-lo sobre dados criptografados. No entanto, a HE introduz atrasos não negligenciáveis devido a:
  1. Tamanho maior dos textos cifrados (sobrecarga de comunicação).
  2. Custo computacional de criptografia, avaliação homomórfica e descriptografia.
• Consequência: Esses atrasos aumentam com o nível de segurança (parâmetros criptográficos). Se ignorados no projeto do controlador, eles podem degradar severamente o desempenho ou até mesmo desestabilizar o sistema de malha fechada.
• Lacuna: Métodos anteriores que tentam ajustar chaves e leis de controle não consideram explicitamente os atrasos induzidos pela criptografia.

2. Metodologia Proposta

Os autores propõem uma estrutura de Co-Design (projeto conjunto) que determina simultaneamente os parâmetros criptográficos ($\theta$) e o ganho de feedback ($K$).

A. Modelagem do Atraso

O atraso total ($\tau_\theta$) é caracterizado como uma função dos parâmetros criptográficos (tamanho da chave $N$, módulo $q$, desvio padrão do erro $\sigma$). O atraso é decomposto em:

1. Atraso de Comunicação: Depende do tamanho do texto cifrado e da taxa de transmissão.
2. Atraso Computacional: Depende da complexidade das operações de criptografia, descriptografia e multiplicação homomórfica (baseada em complexidade assintótica $O(\cdot)$).

O artigo deriva um limite superior para o atraso total ($\bar{\tau}_\theta$) em função dos parâmetros $\theta$.

B. Formulação do Problema

O objetivo é encontrar um par $(\theta, K)$ que satisfaça três requisitos:

1. Segurança: O nível de segurança $\lambda(\theta)$ deve ser maior ou igual a um nível desejado $\lambda^*$.
2. Atraso: O atraso total deve ser menor que o tempo de amostragem ($\tau_\theta < T_s$).
3. Estabilidade: O sistema de malha fechada com atraso deve ser estável.

C. Condição de Estabilidade (LMIs)

Para um parâmetro criptográfico fixo $\theta$, os autores derivam uma representação de dados amostrados do sistema com atraso.

• O sistema é modelado como um sistema de tempo discreto com atraso variável dentro de um intervalo conhecido $[0, \bar{\tau}_\theta]$.
• Utilizando a forma de Jordan da matriz do sistema, o atraso é decomposto em uma combinação convexa de matrizes constantes.
• É estabelecida uma condição suficiente para a estabilidade, expressa como um conjunto finito de Desigualdades Matriciais Lineares (LMIs). Se essas LMIs forem viáveis para um ganho $K$, o sistema é estável para qualquer atraso dentro do limite calculado.

D. Algoritmo de Co-Design (Procedimento Outer-Inner)

O método segue um procedimento iterativo:

1. Loop Externo: Varre um conjunto discreto de candidatos de parâmetros criptográficos ($\theta$) que atendem ao requisito de segurança. Para cada $\theta$, calcula-se o limite de atraso $\bar{\tau}_\theta$. Se $\bar{\tau}_\theta \ge T_s$, o parâmetro é descartado.
2. Loop Interno: Para cada $\theta$ viável, verifica-se a viabilidade das LMIs para um conjunto finito de ganhos candidatos $K$ (por exemplo, ganhos projetados para o caso sem atraso).
3. Saída: Retorna o primeiro par $(\theta, K)$ que satisfaz todos os requisitos.

3. Contribuições Principais

1. Caracterização Quantitativa do Atraso: Derivação de limites superiores explícitos para o atraso induzido pela criptografia como função direta dos parâmetros de segurança (N, q, $\sigma$).
2. Condição de Estabilidade Robusta: Desenvolvimento de condições suficientes em termos de LMIs que garantem a estabilidade do sistema de controle criptografado frente a atrasos variáveis dentro de um intervalo conhecido.
3. Framework de Co-Design: Proposta de um algoritmo prático que integra a escolha de segurança criptográfica com o projeto de controle, evitando a instabilidade causada por atrasos não modelados.
4. Validação Numérica: Demonstração de que projetar o controlador ignorando o atraso (mesmo com segurança adequada) pode levar à instabilidade, enquanto o co-design garante estabilidade.

4. Resultados da Simulação

• Cenário: Um sistema de planta linear com tempo de amostragem $T_s = 25$ ms.
• Parâmetros: Foram testados três conjuntos de parâmetros criptográficos ($\theta_1, \theta_2, \theta_3$) para um nível de segurança de 128 bits.
  • $\theta_2$ e $\theta_3$ geraram atrasos superiores a $T_s$, sendo rejeitados pelo requisito de atraso.
  • $\theta_1$ foi o único que satisfaz o limite de atraso.
• Comparação de Ganhos:
  • Dois ganhos foram testados para $\theta_1$: $K_1$ (projetado para caso sem atraso) e $K_2$ (projetado via co-design).
  • Resultado: O ganho $K_1$ falhou em estabilizar o sistema quando o atraso aumentou (instabilidade em $\tau_\theta = 3\bar{\tau}_\theta/4$). O ganho $K_2$, obtido através das LMIs do co-design, estabilizou o sistema para todos os atrasos considerados.
• Conclusão da Simulação: O método proposto é eficaz e necessário; o uso de ganhos "conscientes de atraso" é crucial para a estabilidade em sistemas de controle criptografado.

5. Significado e Impacto

Este trabalho é significativo porque preenche uma lacuna crítica na literatura de Controle Seguro. Ele demonstra que a segurança criptográfica e o desempenho de controle não podem ser tratados de forma isolada.

• Praticidade: Oferece uma ferramenta sistemática para engenheiros selecionarem parâmetros de segurança que não apenas protegem os dados, mas também garantem que o sistema físico permaneça estável.
• Segurança Operacional: Previne falhas catastróficas em infraestruturas críticas onde a privacidade é essencial, mas a estabilidade do sistema de controle é inegociável.
• Futuro: Abre caminho para a otimização simultânea de desempenho e segurança, embora o artigo atual foque na viabilidade de estabilidade.

Em resumo, o artigo estabelece que, para sistemas de controle criptografado, a segurança deve ser projetada em conjunto com a dinâmica do sistema, levando em conta os custos de latência impostos pela própria criptografia.