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

Technische Samenvatting: Een op Learning With Errors gebaseerd encryptieschema voor dynamische controllers dat residusignalen onthult voor anomaliedetectie

Probleemformulering
Het artikel adresseert een kritieke beperking in versleutelde controlesystemen: terwijl homomorfische encryptie (HE) de vertrouwelijkheid van controleparameters en signalen tijdens transmissie en berekening waarborgt, verduistert het tegelijkertijd de informatie die vereist is voor anomaliedetectie. In standaard versleutelde controlearchitecturen blijft het residusignaal (de afwijking van het verwachte gedrag die wordt gebruikt om aanvallen zoals valse data-injectie of denial-of-service te detecteren) versleuteld. Bijgevolg vereist het detecteren van anomalieën óf het delen van de geheime sleutel met een detector aan de netwerkzijde (wat veiligheidsrisico's introduceert) óf het uitvoeren van computatie-intensieve vergelijkingen in het versleutelde domein gevolgd door decryptie. De auteurs formuleren het probleem als het ontwerpen van een encryptieschema dat automatisch het residusignaal als platte tekst onthult voor anomaliedetectie, terwijl de vertrouwelijkheid van alle andere systeemsignalen en de beveiligingsgaranties van het onderliggende cryptosysteem behouden blijven.

Methodologie
De voorgestelde oplossing bouwt voort op het op Learning With Errors (LWE) gebaseerde encryptieschema, dat beveiliging waarborgt door een willekeurige maskeringsterm aan het bericht toe te voegen. De kernmethodologie omvat het karakteriseren van de "nul-dynamica" van het versleutelde dynamische systeem gedefinieerd over een eindig veld van gehele getallen ($\mathbb{Z}_q$).

1. Manipulatie van Nul-dynamica: De auteurs analyseren de dynamica van de maskeringsterm ($b_r(t)$) geassocieerd met het residusignaal. Zij tonen aan dat door de versleutelde begintoestand en de reeks versleutelde invoeren op passende wijze te manipuleren, de maskeringsterm gedwongen kan worden om voor alle tijdstappen identiek nul te blijven ($b_r(t) \equiv 0$). Dit wordt bereikt door specifieke delen van de begintoestand en invoerreeks te annuleren op basis van de nul-dynamica van het systeem (afgeleid via een coördinatentransformatie naar Byrnes-Isidori-normaalvorm).
2. Automatische Onthulling: Wanneer de maskeringsterm nul is, komt het eerste component van het resulterende cijfer direct overeen met het platte residusignaal. Dit stelt een detector aan de netwerkzijde in staat het residusignaal direct te lezen zonder de geheime sleutel te vereisen of decryptie uit te voeren.
3. Implementatie van Dynamische Controllers over $\mathbb{R}$: Om dit toe te passen op real-world controllers die werken met reële getallen, stellen de auteurs een methode voor om de controller om te zetten in een op gehele getallen gebaseerd systeem over $\mathbb{Z}_q$. In tegenstelling tot eerdere benaderingen die "herencryptie" vereisen (decryptie van de controlleroutput bij de actuator, herencryptie ervan, en terugvoeren om de toestandsmatrix naar gehele getallen om te zetten), maakt dit schema gebruik van het onthulde residusignaal direct als feedbackinvoer. Dit elimineert de noodzaak voor een extra communicatielink tussen de actuator en de controller.
4. Beveiligingsanalyse: Het artikel biedt een formele beveiligingsanalyse die aantoont dat het beeld van een adversary die de gewijzigde cijferteksten observeert, deterministisch reconstrueerbaar is vanuit een beeld dat de standaard cijferteksten plus het onthulde residusignaal omvat. Dit bewijst dat het schema geen informatie lekt die verder gaat dan wat wordt geïmpliceerd door het residusignaal zelf.

Belangrijkste Bijdragen

• Onthulling van Residusignaal: De primaire bijdrage is een op LWE gebaseerd encryptieschema dat automatisch het residusignaal onthult voor anomaliedetectie zonder decryptie, terwijl alle andere signalen (toestanden, invoeren, uitvoeren) vertrouwelijk blijven.
• Eliminatie van Herencryptie: Het artikel presenteert een methode om dynamische controllers met niet-gehele toestandsmatrices te implementeren met versleutelde data zonder de noodzaak van herencryptie. Door het onthulde residusignaal als feedbackinvoer te gebruiken, vermijdt het schema de computatie- en communicatie-overhead die geassocieerd is met eerdere herencryptiestrategieën.
• Theoretische Garanties: De auteurs stellen voorwaarden vast waaronder de versleutelde controller de prestaties van de niet-versleutelde controller behoudt (begrensde fout) en bewijzen dat de beveiliging van het standaard LWE-schema niet wordt aangetast buiten de beoogde onthulling.

Resultaten
De auteurs valideren hun aanpak via numerieke simulaties op een systeem met twee massa's en veren.

• Prestaties: De simulatie vergelijkt de niet-versleutelde controller met de voorgestelde versleutelde controller. Resultaten tonen aan dat de versleutelde controller controle-invoeren en residusignalen genereert die vrijwel identiek zijn aan het niet-versleutelde geval, waarmee voldaan wordt aan de prestatiegrenzen die in de theorie zijn afgeleid.
• Anomaliedetectie: Een aanvalsscenario waarbij een additief signaal in de sensoroutput wordt geïnjecteerd, werd gesimuleerd. Zowel de niet-versleutelde als de versleutelde controller detecteerden de aanval succesvol met een op Cumulative Sum (CUSUM) gebaseerde anomaliedetector. De residusignalen en CUSUM-statistieken waren vergelijkbaar, wat bevestigt dat de onthulling van het residusignaal de detectiecapaciteiten niet belemmert.
• Efficiëntie: De voorgestelde methode vermijdt de extra communicatielink en decryptie/encryptie-cycli bij de actuator die door herencryptiemethoden worden vereist, waardoor de computatiedruk en latentie worden verminderd.

Betekenis en Claims
Het artikel claimt dat het voorgestelde schema de fundamentele afweging tussen datavertrouwelijkheid en anomalie detecteerbaarheid in versleutelde controlesystemen oplost. Door gebruik te maken van de nul-dynamica van het systeem, stelt het een detector aan de netwerkzijde in staat de systeemgezondheid te monitoren zonder toegang tot de geheime sleutel. De auteurs benadrukken dat dit wordt bereikt zonder de semantische beveiliging van het onderliggende LWE-schema te compromitteren. Bovendien adresseert het vermogen om dynamische controllers over reële getallen te laten werken zonder herencryptie een aanzienlijke praktische barrière bij het implementeren van versleutelde controlesystemen, en biedt het een efficiëntere architectuur voor real-time operaties. Het werk wordt gepositioneerd als een stap naar veilige, veerkrachtige netwerkcontrolesystemen waarin privacy en veiligheid (via anomaliedetectie) niet wederzijds uitsluitend zijn.