A Learning With Errors based encryption scheme for dynamic controllers that discloses residue signal for anomaly detection

Resumen Técnico: Un Esquema de Cifrado Basado en Aprendizaje con Errores para Controladores Dinámicos que Revela la Señal de Residuo para la Detección de Anomalías

Formulación del Problema
El artículo aborda una limitación crítica en los sistemas de control cifrado: mientras que el cifrado homomórfico (HE) garantiza la confidencialidad de los parámetros y señales de control durante la transmisión y el cálculo, simultáneamente oscurece la información requerida para la detección de anomalías. En las arquitecturas estándar de control cifrado, la señal de residuo (la desviación del comportamiento esperado utilizada para detectar ataques como la inyección de datos falsos o la denegación de servicio) permanece cifrada. En consecuencia, detectar anomalías requiere compartir la clave secreta con un detector en el lado de la red (introduciendo riesgos de seguridad) o realizar comparaciones computacionalmente intensivas en el dominio cifrado seguidas de descifrado. Los autores plantean el problema como el diseño de un esquema de cifrado que revele automáticamente la señal de residuo como texto plano para la detección de anomalías, manteniendo al mismo tiempo la confidencialidad de todas las demás señales del sistema y las garantías de seguridad del sistema criptográfico subyacente.

Metodología
La solución propuesta se basa en un esquema de cifrado basado en Aprendizaje con Errores (LWE), que garantiza la seguridad añadiendo un término de enmascaramiento aleatorio al mensaje. La metodología central consiste en caracterizar las "dinámicas cero" del sistema dinámico cifrado definido sobre un campo finito de enteros ($\mathbb{Z}_q$).

1. Manipulación de las Dinámicas Cero: Los autores analizan las dinámicas del término de enmascaramiento ($b_r(t)$) asociado a la señal de residuo. Demuestran que, mediante la manipulación adecuada del estado inicial cifrado y la secuencia de entradas cifradas, el término de enmascaramiento puede forzarse a permanecer idénticamente cero ($b_r(t) \equiv 0$) para todos los pasos de tiempo. Esto se logra cancelando porciones específicas del estado inicial y de la secuencia de entradas basadas en las dinámicas cero del sistema (derivadas mediante una transformación de coordenadas a la forma normal de Byrnes-Isidori).
2. Revelación Automática: Cuando el término de enmascaramiento es cero, el primer componente del texto cifrado resultante corresponde directamente a la señal de residuo en texto plano. Esto permite que un detector en el lado de la red lea la señal de residuo directamente sin requerir la clave secreta ni realizar descifrado.
3. Implementación de Controlador Dinámico sobre $\mathbb{R}$: Para aplicar esto a controladores del mundo real que operan sobre números reales, los autores proponen un método para convertir el controlador en un sistema basado en enteros sobre $\mathbb{Z}_q$. A diferencia de enfoques anteriores que requieren "re-cifrado" (descifrar la salida del controlador en el actuador, volver a cifrarla y alimentarla de nuevo para convertir la matriz de estado a enteros), este esquema utiliza la señal de residuo revelada directamente como una entrada de retroalimentación. Esto elimina la necesidad de un enlace de comunicación adicional entre el actuador y el controlador.
4. Análisis de Seguridad: El artículo proporciona un análisis formal de seguridad que muestra que la visión de un adversario que observa los textos cifrados modificados es reconstruible de manera determinista a partir de una visión que incluye los textos cifrados estándar más la señal de residuo revelada. Esto demuestra que el esquema no filtra información más allá de lo implícito en la propia señal de residuo.

Contribuciones Clave

• Revelación de la Señal de Residuo: La contribución principal es un esquema de cifrado basado en LWE que revela automáticamente la señal de residuo para la detección de anomalías sin descifrado, manteniendo la confidencialidad de todas las demás señales (estados, entradas, salidas).
• Eliminación del Re-cifrado: El artículo presenta un método para implementar controladores dinámicos con matrices de estado no enteras sobre datos cifrados sin necesidad de re-cifrado. Al utilizar la señal de residuo revelada como entrada de retroalimentación, el esquema evita la sobrecarga computacional y de comunicación asociada con las estrategias anteriores de re-cifrado.
• Garantías Teóricas: Los autores establecen las condiciones bajo las cuales el controlador cifrado preserva el rendimiento del controlador no cifrado (error acotado) y demuestran que la seguridad del esquema LWE estándar no se ve comprometida más allá de la revelación intencionada.

Resultados
Los autores validan su enfoque mediante simulaciones numéricas en un sistema de dos masas y un resorte.

• Rendimiento: La simulación compara el controlador no cifrado contra el controlador cifrado propuesto. Los resultados muestran que el controlador cifrado genera entradas de control y señales de residuo virtualmente idénticas al caso no cifrado, satisfaciendo los límites de rendimiento derivados en la teoría.
• Detección de Anomalías: Se simuló un escenario de ataque que involucraba una señal aditiva inyectada en la salida del sensor. Tanto el controlador no cifrado como el cifrado detectaron con éxito el ataque utilizando un detector de anomalías basado en la Suma Acumulada (CUSUM). Las señales de residuo y las estadísticas CUSUM fueron comparables, confirmando que la revelación de la señal de residuo no obstaculiza las capacidades de detección.
• Eficiencia: El método propuesto evita el enlace de comunicación adicional y los ciclos de descifrado/cifrado en el actuador requeridos por los métodos de re-cifrado, reduciendo así la carga computacional y la latencia.

Significado y Afirmaciones
El artículo afirma que su esquema propuesto resuelve el compromiso fundamental entre la confidencialidad de los datos y la detectabilidad de anomalías en los sistemas de control cifrado. Al aprovechar las dinámicas cero del sistema, permite que un detector en el lado de la red supervise la salud del sistema sin acceso a la clave secreta. Los autores enfatizan que esto se logra sin comprometer la seguridad semántica del esquema LWE subyacente. Además, la capacidad de operar controladores dinámicos sobre números reales sin re-cifrado aborda una barrera práctica significativa en el despliegue de sistemas de control cifrado, ofreciendo una arquitectura más eficiente para operaciones en tiempo real. El trabajo se presenta como un paso hacia sistemas de control en red seguros y resilientes donde la privacidad y la seguridad (a través de la detección de anomalías) no son mutuamente excluyentes.