⚡ electrical engineering

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

Este artículo establece condiciones basadas en Lyapunov para parámetros de codificador y decodificador variantes en el tiempo en sistemas de control cifrados basados en LWE con clave dinámica para garantizar tanto la estabilidad asintótica como la seguridad numérica contra el desbordamiento, validado mediante ejemplos numéricos.

Autores originales: Jungjin Park, Kiminao Kogiso

Publicado 2026-08-27

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jungjin Park, Kiminao Kogiso

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el mundo moderno, las máquinas que mantienen en funcionamiento nuestras redes eléctricas, los robots que ensamblan nuestros automóviles y los sistemas que guían nuestro transporte están cada vez más conectados a redes. Esta integración de maquinaria física con comunicación digital ofrece una eficiencia increíble, pero también abre una puerta al peligro. Si un hacker intercepta las señales entre un sensor y un controlador, podría alterar sutilmente las instrucciones, causando que una máquina funcione mal o incluso falle catastróficamente. Para detener esto, los ingenieros han recurrido a un método llamado control cifrado. En lugar de enviar datos claros y legibles, el sistema codifica la información para que solo el receptor previsto pueda entenderla, aunque la computadora en medio todavía pueda realizar los cálculos necesarios para mantener la máquina en funcionamiento. Durante décadas, esto dependió de acertijos matemáticos que eran difíciles de resolver para las computadoras clásicas. Sin embargo, el rápido ascenso de las computadoras cuánticas amenaza con romper estos viejos acertijos, dejando vulnerables a los sistemas futuros. Los científicos ahora compiten por construir nuevos sistemas de seguridad basados en diferentes problemas matemáticos que ni siquiera las computadoras cuánticas puedan descifrar fácilmente, asegurando que la infraestructura crítica del mañana permanezca segura frente a ataques digitales.

Un equipo de investigadores de la Universidad de Comunicaciones Electrónicas en Japón ha dado un paso significativo hacia adelante en esta carrera al resolver un problema específico y persistente que ha plagado estos nuevos sistemas de seguridad: cómo mantenerlos estables y seguros mientras están en funcionamiento. Se centraron en un tipo de cifrado avanzado basado en un concepto llamado "Aprendizaje con Errores" (Learning with Errors), que añade intencionalmente una pequeña cantidad de ruido a los datos para hacerlos seguros. Si bien este ruido es necesario para la seguridad, crea un efecto secundario: si el sistema intenta procesar demasiados datos a la vez o si los números se vuelven demasiado grandes, el sistema puede desbordarse, de forma muy parecida a una taza que se llena más allá de su borde y se derrama. Cuando esto sucede en un sistema de control, los números se envuelven incorrectamente, lo que conduce a un comportamiento caótico y potencialmente peligroso. Los investigadores descubrieron que el simple uso de un método fijo para manejar estos números no era suficiente para garantizar la seguridad, especialmente cuando el sistema funcionaba durante períodos prolongados.

El núcleo de su trabajo consiste en un diseño ingenioso para las partes "traductoras" del sistema: los codificadores y decodificadores que convierten las mediciones del mundo real en números cifrados y viceversa. En intentos anteriores, los ingenieros solían utilizar un ajuste estático, lo que significa que las reglas de traducción nunca cambiaban. Los investigadores descubrieron que este enfoque falla cuando el sistema encuentra el ruido inevitable introducido por el proceso de cifrado. En su lugar, desarrollaron un enfoque dinámico donde las reglas de traducción se ajustan en tiempo real. Imagine una lente de cámara que ajusta automáticamente su enfoque a medida que un sujeto se acerca o se aleja; de manera similar, su sistema ajusta constantemente cómo escala los números basándose en el estado actual de la máquina. Al hacer esto, derivaron un conjunto de reglas precisas que le dicen al sistema exactamente cuánto escalar los datos en cada momento. Estas reglas aseguran dos cosas críticas: primero, que la máquina eventualmente se estabilizará y dejará de tambalearse, incluso con la presencia del ruido; y segundo, que los números nunca crecerán tanto como para causar un desbordamiento y un fallo en el sistema.

Para probar su teoría, el equipo construyó una simulación digital de un sistema de control y la sometió a miles de pasos. Compararon su nuevo método adaptativo contra métodos más antiguos que utilizaban configuraciones fijas. Los resultados fueron claros. Los métodos antiguos, que ignoraban el impacto específico del ruido de cifrado, eventualmente causaron que el sistema se desviara de su objetivo, fallando en estabilizarse por completo. En contraste, el sistema que utiliza las nuevas reglas dinámicas de los investigadores se mantuvo estable y preciso durante toda la simulación. Los movimientos de la máquina volvieron a la normalidad y los datos nunca excedieron los límites seguros, evitando cualquier error de desbordamiento. El equipo también midió cuánto tiempo tomaba cada paso del proceso en un chip de computadora estándar, encontrando que los cálculos eran lo suficientemente rápidos como para ser utilizados en aplicaciones en tiempo real, con cada paso tomando menos de un milisegundo.

Este trabajo no solo ofrece una idea teórica; proporciona un plano concreto para construir sistemas de control seguros que puedan resistir las amenazas del futuro. Los investigadores demostraron que, al gestionar cuidadosamente cómo el sistema escala sus datos, es posible tener tanto alta seguridad como alta fiabilidad. Sus hallazgos sugieren que ahora podemos diseñar sistemas de control que sean resistentes a los ataques cuánticos sin sacrificar la estabilidad necesaria para que funcionen de manera segura. Aunque el estudio se realizó mediante simulación, los resultados indican que estos codificadores y decodificadores dinámicos son un camino viable para proteger las redes críticas que ejecutan nuestro mundo moderno. El siguiente paso para los investigadores será llevar estos diseños fuera de la computadora y probarlos en hardware físico real, pasando de una prueba de concepto digital a una solución del mundo real.

Resumen Técnico: Análisis de Sistemas de Control Cifrados Basados en LWE de Clave Dinámica para la Estabilidad Asintótica y la Seguridad Numérica

Planteamiento del Problema
La integración de Sistemas Ciberfísicos (CPS) con controladores en red introduce vulnerabilidades de seguridad significativas, lo que requiere el uso de control cifrado. Aunque el Cifrado Homomórfico (HE) permite realizar cálculos sobre datos cifrados, la transición a la Criptografía Post-Cuántica (PQC) basada en el problema de Aprendizaje con Errores (LWE) presenta desafíos únicos. A diferencia de los esquemas convencionales, los sistemas basados en LWE introducen errores de cifrado intencionales para garantizar la seguridad. En los sistemas de control cifrados, estos errores de cifrado, combinados con los errores de cuantificación al convertir señales de valores reales a texto plano, pueden desestabilizar el sistema o causar desbordamiento numérico.

La investigación existente ha abordado la estabilidad en el control cifrado tratando los errores como perturbaciones acotadas o asumiendo un ruido de cifrado insignificante. Sin embargo, estos enfoques suelen depender de cuantizadores estáticos o no logran considerar la propagación de errores específica inherente a los esquemas de LWE de clave dinámica. El problema central abordado en este estudio es la falta de condiciones rigurosas para el diseño de codificadores y decodificadores que garanticen simultáneamente la estabilidad asintótica y la seguridad numérica (prevención de desbordamiento) en sistemas de control de retroalimentación de estado mediante el uso de cifrado LWE de clave dinámica.

Metodología
Los autores proponen un marco para analizar y diseñar codificadores y decodificadores variables en el tiempo para un sistema de control de retroalimentación de estado lineal en tiempo discreto. La metodología procede de la siguiente manera:

Modelado del Sistema: El estudio modela un sistema de control cifrado donde la ganancia del controlador se codifica utilizando un cuantizador estático ( $\gamma_0$ ) y el estado del sistema se codifica utilizando un cuantificador variable en el tiempo ( $\gamma_1(k)$ ). El sistema utiliza un esquema de cifrado LWE de clave dinámica donde las claves privadas y los textos cifrados se actualizan conjuntamente en cada paso para resistir ataques de repetición y de identificación de sistemas.
Caracterización del Error: Los autores derivan límites explícitos para dos tipos de errores:
- Error de Cuantificación ( $\delta_x$ ): Resultante de la conversión de estados de valores reales a enteros de texto plano.
- Error de Cifrado ( $\delta_u$ ): Resultante del proceso de decodificación LWE, el cual depende del ruido de cifrado, la ganancia de cuantificación y los parámetros del controlador.
Análisis de Estabilidad: Utilizando un enfoque basado en Lyapunov, los autores analizan la dinámica del sistema de lazo cerrado en presencia de ambos tipos de error. Construyen una función de candidato de Lyapunov para derivar condiciones bajo las cuales el sistema permanece asintóticamente estable a pesar del ruido aditivo.
Prevención de Desbordamiento: El estudio define la "seguridad numérica" como la condición en la que los valores codificados permanecen dentro del espacio de texto plano ( $\mathbb{Z}_t$ ) para prevenir el desbordamiento inducido por el módulo. Los autores derivan límites superiores para las ganancias de cuantificación para asegurar esta seguridad.
Derivación Teórica: El artículo formula un conjunto de desigualdades (Teorema 1) que definen los rangos admisibles para la ganancia estática $\gamma_0$ y la ganancia variable en el tiempo $\gamma_1(k)$ . Estas condiciones aseguran que la función de Lyapunov disminuya con el tiempo (estabilidad) mientras que los valores codificados no exceden el módulo $t$ (seguridad).

Contribuciones Clave
El estudio realiza las siguientes contribuciones específicas:

Condiciones de Estabilidad bajo Ruido de Cifrado: A diferencia de trabajos previos que asumieron errores de cifrado insignificantes o utilizaron cuantificadores estáticos, este artículo deriva condiciones sobre las ganancias de cuantificación que garantizan la estabilidad asintótica incluso cuando los errores de cifrado no son despreciables.
Programación de Ganancia Dinámica: Los autores caracterizan el rango admisible para una ganancia de cuantificación variable en el tiempo $\gamma_1(k)$ . El análisis revela que, para mantener la estabilidad a medida que el estado del sistema converge a cero, la ganancia de cuantificación debe aumentar con el tiempo (es decir, $\gamma_1(k) \to \infty$ conforme $\|x(k)\| \to 0$ ).
Límites de Seguridad Numérica: El artículo proporciona límites superiores explícitos para las ganancias de cuantificación para prevenir el desbordamiento en el espacio de texto cifrado, un requisito crítico para la operación correcta de los sistemas basados en LWE.
Marco Integral: El estudio unifica el análisis de los errores de cuantificación y de cifrado, ofreciendo un conjunto completo de directrices de diseño para un control de retroalimentación de estado cifrado y fiable.

Resultados
La validez de las condiciones derivadas fue confirmada mediante simulaciones numéricas utilizando una planta lineal de 3 estados y un esquema LWE de clave dinámica con seguridad de 128 bits.

Estabilidad Asintótica: Los resultados de la simulación demuestran que el codificador variable en el tiempo propuesto (diseñado según el Teorema 1) logra conducir los estados del sistema a cero, alcanzando la estabilidad asintótica. En contraste, un codificador estático (usando un $\gamma_1$ fijo) no logró la estabilidad asintótica una vez que la norma del estado se volvió suficientemente pequeña, ya que la ganancia fija violó el límite inferior requerido para la estabilidad.
Gestión de Ruido: El método propuesto gestionó eficazmente el ruido de cifrado. Las comparaciones con un método de la literatura previa (que no tenía en cuenta el ruido de cifrado en el diseño de la ganancia) mostraron que el enfoque no modificado resultó en desviaciones significativas de las señales de control originales y de las trayectorias de estado.
Prevención de Desbordamiento: Las simulaciones confirmaron que las ganancias diseñadas mantuvieron los valores codificados dentro del rango de texto plano válido, evitando el desbordamiento.
Eficiencia Computacional: Los autores midieron el tiempo de procesamiento en un MacBook Air equipado con un chip Apple M4 y 24 GB de memoria, ejecutando macOS Tahoe 26.5. El tiempo de procesamiento total por paso se reportó como (7.51 ± 0.07) × 10⁻¹ ms. Esto sugiere la viabilidad de la implementación en tiempo real para sistemas de control con periodos de muestreo de escala de milisegundos.

Significancia y Reivindicaciones
El artículo afirma que su principal significancia radica en establecer la base teórica para sistemas de control cifrados fiables basados en LWE de clave dinámica. Al contabilizar explícitamente la interacción entre los errores de cuantificación y de cifrado, el estudio proporciona las condiciones necesarias para asegurar que tales sistemas no solo operen, sino que operen de manera estable y segura.

Los autores enfatizan que su enfoque garantiza la estabilidad asintótica en presencia de errores de cifrado, una limitación en los enfoques previos de cuantificador estático. Además, al caracterizar el rango admisible de ganancias para prevenir el desbordamiento, el estudio aborda el problema crítico de la seguridad numérica, que a menudo se pasa por alto en los análisis de estabilidad de control basado en PQC. El trabajo se posiciona como un paso hacia el despliegue práctico del control cifrado resistente a la computación cuántica, ofreciendo un marco de diseño que equilibra la seguridad, la estabilidad y la integridad numérica. Se señala que el trabajo futuro se centrará en la implementación práctica de este marco en sistemas del mundo real y su extensión a entornos de control más generales.

Más como este