Sensor Attack Detection Method for Encrypted State Observers

Resumen Técnico: Método de Detección de Ataques en Sensores para Observadores de Estado Encriptados

Planteamiento del Problema
En los sistemas de control en red, el control encriptado que utiliza cifrado homomórfico (HE) permite realizar cálculos sobre datos encriptados, preservando la confidencialidad. Sin embargo, surge un desafío crítico al garantizar la integridad de los datos: la encriptación oculta los efectos de los ataques de corrupción de datos, como los ataques a sensores. Los enfoques existentes para la detección de ataques en sistemas encriptados generalmente requieren enviar señales de residuo encriptadas a un detector externo que posee la clave de descifrado, lo que introduce sobrecarga de comunicación y posibles riesgos de seguridad. Además, el trabajo anterior de los autores se limitaba a sistemas de una sola entrada y una sola salida (SISO). Este artículo aborda la necesidad de un observador de estado encriptado capaz de detectar ataques a sensores directamente sin descifrar, aplicable a sistemas generales de múltiples entradas y múltiples salidas (MIMO).

Metodología
El método propuesto integra un observador de estado diseñado sobre un campo finito de enteros ($\mathbb{Z}_q$) con un esquema de cifrado homomórfico basado en Learning With Errors (LWE) modificado.

1. Diseño del Observador sobre $\mathbb{Z}_q$:
   Los autores diseñan primero un observador de estado que opera sobre $\mathbb{Z}_q$ utilizando aritmética modular. El observador utiliza la redundancia de sensores y la suposición de ataques dispersos (donde a lo sumo $k$ de $p$ sensores están comprometidos). Mediante la construcción de observadores parciales para cada salida de sensor y su combinación, se forma un observador completo. Se define una señal de residuo específica, $\bar{r}(t)$, como la diferencia entre las estimaciones de estado derivadas de diferentes subconjuntos de sensores. Bajo la suposición de que al menos $p-k$ sensores no están corruptos, una señal de residuo pequeña indica una estimación de estado válida, mientras que una señal de residuo grande indica un ataque. Las matrices del observador se escalan y cuantizan para asegurar que permanezcan con valores enteros para la encriptación.

2. Esquema de Cifrado Homomórfico Modificado:
   Para permitir la detección de ataques sin descifrado, los autores modifican el esquema de cifrado LWE estándar. La innovación central aprovecha las dinámicas de cero de la representación del sistema MISO (Múltiple Entrada, Una Salida) sobre $\mathbb{Z}_q$.

   • El sistema se descompone en una forma normal donde la salida (el residuo) es impulsada por estados internos específicos.
   • El algoritmo de cifrado se altera para cancelar explícitamente el "término de enmascaramiento" (el componente de ruido que oculta el mensaje) para el canal de salida específico correspondiente a la señal de residuo.
   • Al imponer que el término de enmascaramiento del residuo encriptado permanezca idénticamente cero, el sistema revela automáticamente la señal de residuo en una columna específica del texto cifrado.
   • Este enfoque extiende el trabajo anterior SISO de los autores a sistemas MIMO generales aplicando el esquema repetidamente a cada canal de salida.

3. Detección y Recuperación:
   El observador encriptado opera sobre entradas y estados encriptados. La señal de residuo se recupera directamente de la primera columna de los textos cifrados resultantes mediante escalado, sin requerir la clave secreta. Si la magnitud de este residuo recuperado excede un umbral prescrito, se detecta un ataque a sensores. Simultáneamente, el estado completo puede recuperarse como un mensaje encriptado descifrando el estado del observador.

Contribuciones Clave

• Detección Directa de Ataques sin Descifrado: El artículo propone un esquema donde la señal de residuo, esencial para la detección de anomalías, se revela automáticamente en el dominio encriptado. Esto elimina la necesidad de transmitir residuos encriptados a un tercero de confianza para su descifrado.
• Extensión a Sistemas MIMO: A diferencia de trabajos anteriores restringidos a sistemas SISO, este método es aplicable a sistemas generales de múltiples entradas y múltiples salidas al manejar ataques arbitrarios dispersos en sensores mediante la aplicación repetida del esquema basado en MISO.
• Explotación de Dinámicas de Cero: Los autores introducen un mecanismo para modificar textos cifrados LWE estándar aprovechando las dinámicas de cero del observador, asegurando que el término de enmascaramiento para la señal de residuo se anule mientras se mantiene la seguridad del esquema subyacente.
• Garantías Teóricas: El artículo proporciona condiciones sobre los factores de escalado y el módulo $q$ para asegurar que la señal de residuo refleje con precisión la presencia de ataques y que el error de estimación de estado permanezca acotado cuando no hay ataques presentes.

Resultados de Simulación
El método se validó mediante simulaciones en un sistema de tres inercias (discretizado a partir de un modelo en Ogata (1995)).

• Configuración: El sistema tenía 6 estados, 1 entrada y 5 sensores. Los parámetros de cifrado se eligieron para garantizar una seguridad de 128 bits.
• Escenario: Se inyectó un ataque disperso en el tercer sensor en $t=2.5$ segundos.
• Resultado: La simulación demostró que el observador encriptado detectó exitosamente el ataque. La señal de residuo recuperada y el error de estimación de estado excedieron ambos los umbrales teóricos definidos en el artículo inmediatamente después de la inyección del ataque, confirmando que los ataques pueden detectarse sin acceder a la clave secreta.

Significado y Afirmaciones
El artículo afirma que el método propuesto logra un equilibrio entre confidencialidad e integridad en sistemas de control encriptados. Al revelar únicamente la señal de residuo (que representa la diferencia entre las estimaciones de estado y no revela directamente el estado de la planta), el método detecta ataques sin comprometer la seguridad del esquema LWE estándar más allá de esta revelación intencional. Los autores señalan que la señal de residuo está típicamente dominada por ruido e incertidumbres del modelo, lo que dificulta que un adversario extraiga información privada significativa únicamente de la señal revelada. Este trabajo representa un paso hacia un control seguro y resiliente donde la detección de anomalías se integra directamente en la capa de computación encriptada.