Sensor Attack Detection Method for Encrypted State Observers

Résumé technique : Méthode de détection d'attaques de capteurs pour observateurs d'état chiffrés

Énoncé du problème
Dans les systèmes de commande en réseau, la commande chiffrée utilisant le chiffrement homomorphe (HE) permet d'effectuer des calculs sur des données chiffrées, préservant ainsi la confidentialité. Cependant, un défi critique émerge dans la garantie de l'intégrité des données : le chiffrement masque les effets des attaques de corruption de données, telles que les attaques de capteurs. Les approches existantes de détection d'attaques dans les systèmes chiffrés nécessitent généralement l'envoi de signaux de résidu chiffrés à un détecteur externe détenant la clé de déchiffrement, ce qui introduit une surcharge de communication et des risques de sécurité potentiels. De plus, les travaux antérieurs des auteurs étaient limités aux systèmes mono-entrée mono-sortie (SISO). Cet article répond au besoin d'un observateur d'état chiffré capable de détecter directement les attaques de capteurs sans déchiffrement, applicable aux systèmes généraux multi-entrées multi-sorties (MIMO).

Méthodologie
La méthode proposée intègre un observateur d'état conçu sur un corps fini d'entiers ($\mathbb{Z}_q$) avec un schéma de chiffrement homomorphe basé sur LWE (Learning With Errors) modifié.

1. Conception de l'observateur sur $\mathbb{Z}_q$ :
   Les auteurs conçoivent d'abord un observateur d'état opérant sur $\mathbb{Z}_q$ en utilisant l'arithmétique modulaire. L'observateur exploite la redondance de détection et l'hypothèse d'attaques éparses (où au plus $k$ capteurs sur $p$ sont compromis). En construisant des observateurs partiels pour chaque sortie de capteur et en les combinant, un observateur complet est formé. Un signal de résidu spécifique, $\bar{r}(t)$, est défini comme la différence entre les estimations d'état dérivées de différents sous-ensembles de capteurs. Sous l'hypothèse qu'au moins $p-k$ capteurs sont intègres, un signal de résidu faible indique une estimation d'état valide, tandis qu'un signal de résidu élevé indique une attaque. Les matrices de l'observateur sont mises à l'échelle et quantifiées pour garantir qu'elles restent à valeurs entières en vue du chiffrement.

2. Schéma de chiffrement homomorphe modifié :
   Pour permettre la détection d'attaques sans déchiffrement, les auteurs modifient le schéma de chiffrement LWE standard. L'innovation centrale exploite les dynamiques nulles de la représentation du système MISO (Multi-Entrée Sortie Unique) sur $\mathbb{Z}_q$.

   • Le système est décomposé en une forme normale où la sortie (le résidu) est pilotée par des états internes spécifiques.
   • L'algorithme de chiffrement est altéré pour annuler explicitement le « terme de masquage » (la composante de bruit qui cache le message) pour le canal de sortie spécifique correspondant au signal de résidu.
   • En imposant que le terme de masquage du résidu chiffré reste identiquement nul, le système révèle automatiquement le signal de résidu dans une colonne spécifique du texte chiffré.
   • Cette approche étend les travaux antérieurs des auteurs sur les systèmes SISO aux systèmes MIMO généraux en appliquant le schéma de manière répétée à chaque canal de sortie.

3. Détection et récupération :
   L'observateur chiffré fonctionne sur des entrées et des états chiffrés. Le signal de résidu est récupéré directement à partir de la première colonne des textes chiffrés résultants par mise à l'échelle, sans nécessiter la clé secrète. Si l'amplitude de ce résidu récupéré dépasse un seuil prescrit, une attaque de capteur est détectée. Simultanément, l'état complet peut être récupéré sous forme de message chiffré en déchiffrant l'état de l'observateur.

Contributions clés

• Détection directe d'attaques sans déchiffrement : L'article propose un schéma où le signal de résidu, essentiel à la détection d'anomalies, est automatiquement révélé dans le domaine chiffré. Cela élimine le besoin de transmettre des résidus chiffrés à un tiers de confiance pour déchiffrement.
• Extension aux systèmes MIMO : Contrairement aux travaux antérieurs limités aux systèmes SISO, cette méthode est applicable aux systèmes multi-entrées multi-sorties généraux en traitant des attaques de capteurs éparses arbitraires par l'application répétée du schéma basé sur MISO.
• Exploitation des dynamiques nulles : Les auteurs introduisent un mécanisme pour modifier les textes chiffrés LWE standards en exploitant les dynamiques nulles de l'observateur, assurant que le terme de masquage pour le signal de résidu est annulé tout en maintenant la sécurité du schéma sous-jacent.
• Garanties théoriques : L'article fournit des conditions sur les facteurs de mise à l'échelle et le module $q$ pour garantir que le signal de résidu reflète fidèlement la présence d'attaques et que l'erreur d'estimation d'état reste bornée en l'absence d'attaque.

Résultats de simulation
La méthode a été validée par des simulations sur un système à trois inerties (discrétisé à partir d'un modèle dans Ogata (1995)).

• Configuration : Le système possédait 6 états, 1 entrée et 5 capteurs. Les paramètres de chiffrement ont été choisis pour assurer une sécurité de 128 bits.
• Scénario : Une attaque éparse a été injectée dans le troisième capteur à $t=2,5$ secondes.
• Résultat : La simulation a démontré que l'observateur chiffré a détecté avec succès l'attaque. Le signal de résidu récupéré et l'erreur d'estimation d'état ont tous deux dépassé les seuils théoriques définis dans l'article immédiatement après l'injection de l'attaque, confirmant que les attaques peuvent être détectées sans accéder à la clé secrète.

Signification et affirmations
L'article affirme que la méthode proposée atteint un équilibre entre confidentialité et intégrité dans les systèmes de commande chiffrés. En ne révélant que le signal de résidu (qui représente la différence entre les estimations d'état et ne révèle pas directement l'état du procédé), la méthode détecte les attaques sans compromettre la sécurité du schéma LWE standard au-delà de cette divulgation intentionnelle. Les auteurs notent que le signal de résidu est généralement dominé par le bruit et les incertitudes du modèle, rendant difficile pour un adversaire d'extraire des informations privées significatives uniquement à partir du signal divulgué. Ce travail représente une étape vers une commande sécurisée et résiliente où la détection d'anomalies est intégrée directement dans la couche de calcul chiffré.