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

Resumen Técnico: Co-diseño de Parámetros Criptográficos y Ganancia de Retroalimentación Consciente del Retardo para Sistemas de Control Encriptados

1. Planteamiento del Problema

Los sistemas de control en red (NCS) permiten delegar tareas computacionales intensivas a servidores remotos, pero esto introduce riesgos de privacidad y seguridad, especialmente si los servidores son "semi-honestos" o si los canales de comunicación son vulnerables a escuchas. La Control Encriptado utiliza Criptografía Homomórfica (HE) para realizar cálculos sobre datos encriptados, protegiendo tanto la comunicación como el procesamiento.

Sin embargo, el enfoque actual predominante presenta una falla crítica:

1. Diseño Secuencial: Primero se diseña un controlador en el dominio de texto plano (sin encriptación) y luego se implementa sobre datos encriptados.
2. Impacto del Retardo: La encriptación homomórfica introduce retardos no despreciables debido al gran tamaño de los textos cifrados (comunicación) y la complejidad computacional de las operaciones (encriptación, evaluación homomórfica y desencriptación).
3. Consecuencias: Estos retardos, que aumentan con el nivel de seguridad, pueden degradar severamente el rendimiento del control e incluso desestabilizar el sistema de lazo cerrado.

El problema central es que los parámetros criptográficos (que definen la seguridad) y la ganancia del controlador (que define la estabilidad) están intrínsecamente acoplados a través del retardo de tiempo, pero se diseñan por separado en la literatura existente.

2. Metodología Propuesta

El artículo propone un marco de co-diseño que determina simultáneamente los parámetros criptográficos ($\theta$) y la ganancia de retroalimentación ($K$) para garantizar la seguridad y la estabilidad.

A. Caracterización del Retardo Inducido por Encriptación
Los autores modelan el retardo total $\tau_\theta$ como una función de los parámetros criptográficos $\theta = (N, q, \sigma)$, donde:

• $N$: Longitud del vector secreto (potencia de 2).
• $q$: Módulo primo.
• $N, q, \sigma$: Determinan el nivel de seguridad $\lambda(\theta)$.

El retardo total se descompone en:
$$\tau_\theta = \tau^{Comm}_\theta + \tau^{Enc}_\theta + \tau^{Dec}_\theta + \tau^{\otimes}_\theta$$
Utilizando modelos de comunicación y complejidad computacional (basados en el esquema LWE), derivan una cota superior explícita $\bar{\tau}_\theta$ que depende linealmente de $N$ y $d = \lceil \log_2 q \rceil$. Esto permite predecir el retardo máximo antes de implementar el sistema.

B. Diseño de Ganancia Consciente del Retardo (Delay-Aware)
Para un conjunto de parámetros fijos $\theta$, el sistema se modela como un sistema de datos muestreados con retardo variable dentro de un intervalo $[0, \bar{\tau}_\theta]$.

• Se define un estado aumentado $\xi[k] = [x[k]^\top, x[k-1]^\top]^\top$.
• Se representa la matriz del sistema $\bar{A}(\tau_\theta, K)$ como una combinación convexa de matrices extremas basadas en la forma de Jordan de la matriz del sistema $A$.
• Se derivan condiciones suficientes de estabilidad utilizando Desigualdades Matriciales Lineales (LMIs).

C. Procedimiento de Diseño Externo-Interno (Outer-Inner)
El algoritmo propuesto (Algoritmo 1) sigue un enfoque iterativo:

1. Bucle Externo (Selección de Seguridad): Se genera un conjunto discreto de candidatos de parámetros criptográficos $\Theta$ que satisfacen el nivel de seguridad deseado $\lambda^*$.
2. Filtro de Retardo: Para cada candidato $\theta$, se calcula $\bar{\tau}_\theta$. Si $\bar{\tau}_\theta \geq T_s$ (tiempo de muestreo), se descarta.
3. Bucle Interno (Estabilidad): Para los candidatos válidos, se busca una ganancia $K$ (de un conjunto finito predefinido) que satisfaga las LMIs de estabilidad para todo $\tau_\theta \in [0, \bar{\tau}_\theta]$.

3. Contribuciones Clave

1. Marco de Co-diseño: Es uno de los primeros trabajos que integra explícitamente la selección de parámetros de seguridad con el diseño del controlador, reconociendo que la seguridad tiene un costo en el rendimiento dinámico (retardo).
2. Modelado de Retardo: Proporciona una fórmula analítica que vincula los parámetros de seguridad ($N, q$) con el retardo de comunicación y computación, permitiendo predecir si un nivel de seguridad es compatible con un tiempo de muestreo dado.
3. Condiciones de Estabilidad Tratables: Deriva un conjunto finito de LMIs que garantizan la estabilidad del sistema de lazo cerrado bajo cualquier retardo dentro de la cota calculada, evitando la necesidad de verificar infinitos casos.
4. Algoritmo de Búsqueda Estructurado: Presenta un procedimiento sistemático para encontrar pares $(\theta, K)$ que cumplan simultáneamente requisitos de seguridad, retardo y estabilidad.

4. Resultados de Simulación

Se validó el método en un sistema de control de segundo orden con los siguientes parámetros:

• Nivel de seguridad objetivo: 128 bits.
• Tasa de comunicación: 250 Mbit/s.
• Tiempo de muestreo ($T_s$): 25 ms.

Hallazgos:

• Se evaluaron tres conjuntos de parámetros ($\theta_1, \theta_2, \theta_3$) con diferentes niveles de seguridad.
• Fallo del diseño tradicional: Un controlador diseñado para el caso sin retardo ($K_1$) falló al estabilizar el sistema cuando se aplicó con parámetros criptográficos que generaban retardos significativos, incluso si el retardo era menor que $T_s$.
• Éxito del co-diseño: El algoritmo identificó que solo el conjunto $\theta_1$ cumplía con el requisito de retardo ($\bar{\tau}_{\theta_1} < T_s$). Para este conjunto, la ganancia $K_2$ (diseñada específicamente para ser consciente del retardo mediante las LMIs) estabilizó el sistema para todos los retardos probados, mientras que $K_1$ causó inestabilidad.
• Conclusión: El método demuestra que es posible lograr altos niveles de seguridad sin comprometer la estabilidad, siempre que se realice el co-diseño adecuado.

5. Significado e Impacto

Este trabajo es fundamental para la implementación práctica de Sistemas de Control Ciber-Físicos (CPS) seguros.

• Viabilidad Práctica: Demuestra que la encriptación homomórfica no es incompatible con el control en tiempo real, siempre que se consideren sus limitaciones de latencia desde la etapa de diseño.
• Seguridad Proactiva: Cambia el paradigma de "diseñar control y luego encriptar" a "diseñar seguridad y control juntos", evitando fallos catastróficos en sistemas críticos donde la privacidad es obligatoria.
• Guía de Implementación: Proporciona herramientas matemáticas (LMIs) y un algoritmo que los ingenieros pueden utilizar para seleccionar los parámetros de seguridad óptimos para una aplicación específica sin perder la estabilidad del sistema.

En resumen, el artículo cierra la brecha entre la teoría de criptografía y la teoría de control, ofreciendo una ruta viable para implementar redes de control seguras y robustas frente a amenazas de privacidad y ciberataques.