⚡ electrical engineering

Sensor Attack Detection Method for Encrypted State Observers

Dieser Beitrag schlägt einen auf homomorpher Verschlüsselung basierenden Zustandsbeobachter für allgemeine Systeme mit mehreren Ein- und Ausgängen vor, der Sensorangriffe erkennt und verschlüsselte Zustände ohne Entschlüsselung durch Erzeugung eines Residuensignals über einem endlichen Körper ganzer Zahlen wiederherstellt.

Ursprüngliche Autoren: Yeongjun Jang, Sangwon Lee, Junsoo Kim

Veröffentlicht 2026-05-20

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Yeongjun Jang, Sangwon Lee, Junsoo Kim

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Das Problem des „verschlossenen Kastens"

Stellen Sie sich vor, Sie haben eine sehr empfindliche Maschine (wie ein Kraftwerk oder ein autonomes Fahrzeug), die von einem intelligenten Computer gesteuert werden muss. Um die Maschine vor Hackern zu schützen, möchten Sie alle Daten an einen „Cloud"-Computer senden, damit dieser die Mathematik berechnet. Aber Sie vertrauen dem Cloud-Computer nicht, daher verschließen Sie die Daten in einer speziellen verschlüsselten Box.

Das Problem ist: Sie können nicht prüfen, ob die Maschine defekt ist, wenn die Daten verschlossen sind.
Wenn ein Hacker die Sensoren manipuliert (zum Beispiel lügt, wie schnell das Auto fährt), kann der Cloud-Computer die Lüge nicht erkennen, da die Daten immer noch verschlossen sind. Normalerweise müssen Sie, um Lügen aufzudecken, die Box öffnen, die Daten ansehen und sie dann wieder verschließen. Doch das würde den Zweck der Geheimhaltung der Daten zunichte machen.

Dieses Papier schlägt eine neue Methode vor, um den „Cloud-Computer" so zu bauen, dass er einen Lügner erkennen kann, ohne jemals die Box zu öffnen.

Die Lösung: Das System der „magischen Quittung"

Die Autoren haben ein spezielles System mit drei Haupttricks entwickelt:

1. Der „modulare Mathematik"-Spielplatz

Normalerweise arbeiten Computer mit unendlichen Zahlen. Aber um alles verschlossen zu halten, verwendet dieses System ein „endliches Feld", das wie ein Zifferblatt funktioniert.

Stellen Sie sich eine Uhr mit den Zahlen 0 bis 100 vor. Wenn Sie 100 zu 50 addieren, erhalten Sie nicht 150; Sie erhalten wieder 50 (weil Sie sich um die Uhr herumgewickelt haben).
Die Autoren haben ihren Beobachter (den Teil, der den Zustand der Maschine schätzt) so konzipiert, dass er vollständig auf dieser „Uhr" arbeitet. Dies ermöglicht die Verwendung einer speziellen Art von Verschlüsselung (Homomorphe Verschlüsselung), die es dem Cloud-Computer erlaubt, Mathematik mit den verschlossenen Zahlen durchzuführen, ohne sie zu entschlüsseln.

2. Die „redundanten Zeugen"

Stellen Sie sich vor, Sie haben 5 Sicherheitswachen, die einen Tresor bewachen. Wenn eine Wache bestochen (angegriffen) wird und lügt, wissen Sie vielleicht nicht, wer lügt. Aber wenn Sie 5 Wachen haben und wissen, dass mindestens 3 von ihnen ehrlich sind, können Sie ihre Geschichten vergleichen.

Das Papier geht davon aus, dass die Maschine genügend Sensoren (Zeugen) hat, sodass selbst wenn einige gehackt werden, die anderen immer noch die Wahrheit sagen.
Das System berechnet den Zustand der Maschine basierend auf jeder möglichen Kombination ehrlicher Sensoren. Wenn die Geschichten nicht übereinstimmen, stimmt etwas nicht.

3. Die „magische Quittung" (das Restsignal)

Dies ist der kreativste Teil.

Normalerweise müsste der Cloud-Computer, wenn er eine Diskrepanz zwischen den Geschichten der Wachen feststellt, die Box öffnen, um Ihnen zu sagen: „Hey, es gibt ein Problem!"
Die Autoren haben die Verschlüsselung so modifiziert, dass das „Diskrepanz"-Signal (das sogenannte Restsignal) auf einer speziellen Quittung gedruckt wird, die nicht verschlossen ist.
Die Analogie: Stellen Sie sich vor, der Cloud-Computer ist ein Koch, der ein geheimes Rezept zubereitet. Normalerweise müsste der Koch, wenn er das Essen verbrennt, die Küchentür öffnen, um es Ihnen zu sagen. In diesem neuen System hinterlässt der Koch ein Rauchsignal außerhalb des Fensters. Sie müssen das Essen (das Geheimnis) nicht sehen, um zu wissen, dass es brennt; Sie sehen einfach den Rauch.
Der „Rauch" (das Restsignal) wird automatisch durch die Mathematik erzeugt. Wenn der Rauch zu dick ist, wissen Sie, dass ein Angriff stattfindet. Wenn der Rauch dünn ist, ist alles in Ordnung.

So funktioniert es Schritt für Schritt

Verschließen der Daten: Die Maschine sendet ihre Sensordaten und Steuereingaben an die Cloud, aber sie sind verschlüsselt (verschlossen).
Der Cloud führt die Mathematik aus: Der Cloud-Computer führt die „Uhr-Mathematik" auf den verschlossenen Daten aus. Er versucht, den Zustand der Maschine zu schätzen.
Der automatische Alarm: Aufgrund des speziellen mathematischen Designs berechnet der Cloud-Computer automatisch die „Diskrepanz" zwischen den verschiedenen Sensorgeschichten.
- Wenn die Sensoren übereinstimmen, ist die Diskrepanz winzig (nur normales Rauschen).
- Wenn ein Hacker lügt, wird die Diskrepanz riesig.
Das Ergebnis: Die Cloud sendet zwei Dinge zurück:
- Die Zustandsschätzung (Verschlossen): Die beste Schätzung dessen, was die Maschine tut, immer noch in einer verschlossenen Box.
- Das Restsignal (Entschlüsselt): Eine einfache Zahl, die Ihnen sagt, ob die Sensoren lügen.

Warum dies wichtig ist

Sicherheit: Sie müssen dem Cloud-Computer niemals den „Schlüssel" geben, um Ihre Daten zu entschlüsseln. Die Daten bleiben die ganze Zeit geheim.
Sicherheit: Sie können sofort erkennen, wenn ein Sensor gehackt wurde. Wenn das „Rauchsignal" losgeht, können Sie die Maschine stoppen oder auf einen Backup-Plan umschalten, bevor der Hacker physischen Schaden anrichtet.
Vielseitigkeit: Frühere Versionen dieser Idee funktionierten nur für sehr einfache Maschinen (ein Eingang, ein Ausgang). Dieses Papier beweist, dass es für komplexe Maschinen mit vielen Eingängen und Ausgängen funktioniert (wie ein echtes industrielles Kraftwerk).

Der Simulationsbeweis

Die Autoren testeten dies an einem simulierten „Drei-Trägheits-System" (ein Modell eines mechanischen Systems mit rotierenden Gewichten).

Sie verschlossen die Daten.
Sie sendeten ein gefälschtes Angriffssignal an einen der Sensoren.
Ergebnis: Das „Rauchsignal" (Rest) schoss sofort in die Höhe und zeigte den Angriff an, während der Rest der Daten perfekt verschlüsselt und sicher blieb.

Zusammenfassung

Dieses Papier erfindet eine Methode, um eine „intelligente, verschlossene Box" zu bauen, die „EINBRUCH!" schreien kann, ohne jemals ihren Mund zu öffnen, um ihre Geheimnisse preiszugeben. Es verwendet spezielle Uhr-Mathematik und redundante Sensoren, um ein automatisches Alarmsystem zu schaffen, das vollständig auf verschlüsselten Daten funktioniert.

Technische Zusammenfassung: Methode zur Erkennung von Sensorangriffen für verschlüsselte Zustandsbeobachter

Problemstellung
In vernetzten Steuerungssystemen ermöglicht die verschlüsselte Steuerung unter Verwendung homomorpher Verschlüsselung (HE) die Durchführung von Berechnungen auf verschlüsselten Daten unter Wahrung der Vertraulichkeit. Eine kritische Herausforderung besteht jedoch in der Sicherstellung der Datenintegrität: Verschlüsselung verschleiert die Auswirkungen von Datenkorruptionsangriffen, wie etwa Sensorangriffen. Bestehende Ansätze zur Angriffserkennung in verschlüsselten Systemen erfordern typischerweise das Senden verschlüsselter Residuensignale an einen externen Detektor, der den Entschlüsselungsschlüssel besitzt, was Kommunikationsaufwand und potenzielle Sicherheitsrisiken mit sich bringt. Darüber hinaus beschränkten sich frühere Arbeiten der Autoren auf Systeme mit einem Eingang und einem Ausgang (SISO). Diese Arbeit adressiert die Notwendigkeit eines verschlüsselten Zustandsbeobachters, der Sensorangriffe direkt ohne Entschlüsselung erkennen kann und für allgemeine Systeme mit mehreren Eingängen und mehreren Ausgängen (MIMO) anwendbar ist.

Methodik
Die vorgeschlagene Methode integriert einen über einem endlichen Körper ganzer Zahlen ( $\mathbb{Z}_q$ ) entworfenen Zustandsbeobachter mit einem modifizierten, auf Learning With Errors (LWE) basierenden homomorphen Verschlüsselungsschema.

Beobachterentwurf über $\mathbb{Z}_q$ :
Die Autoren entwerfen zunächst einen Zustandsbeobachter, der unter Verwendung modularer Arithmetik über $\mathbb{Z}_q$ operiert. Der Beobachter nutzt Sensord redundanz und die Annahme sparsamer Angriffe (bei denen höchstens $k$ von $p$ Sensoren kompromittiert sind). Durch den Aufbau partieller Beobachter für jeden Sensorausgang und deren Kombination wird ein vollständiger Beobachter gebildet. Ein spezifisches Residuensignal, $\bar{r}(t)$ , wird als Differenz zwischen Zustandsabschätzungen definiert, die aus verschiedenen Teilmengen von Sensoren abgeleitet wurden. Unter der Annahme, dass mindestens $p-k$ Sensoren unversehrt sind, deutet ein kleines Residuensignal auf eine gültige Zustandsabschätzung hin, während ein großes Residuensignal einen Angriff anzeigt. Die Beobachtermatrizen werden skaliert und quantisiert, um sicherzustellen, dass sie für die Verschlüsselung ganzzahlig bleiben.
Modifiziertes homomorphes Verschlüsselungsschema:
Um eine Angriffserkennung ohne Entschlüsselung zu ermöglichen, modifizieren die Autoren das Standard-LWE-Verschlüsselungsschema. Die Kerninnovation nutzt die Null-Dynamik der MISO-Darstellung (Multi-Input Single-Output) des Systems über $\mathbb{Z}_q$ .
- Das System wird in eine Normalform zerlegt, bei der der Ausgang (das Residuum) durch spezifische interne Zustände angetrieben wird.
- Der Verschlüsselungsalgorithmus wird so verändert, dass er den „Maskierungsterm" (die Rauschkomponente, die die Nachricht verschleiert) für den spezifischen Ausgangskanal, der dem Residuensignal entspricht, explizit aufhebt.
- Durch die Erzwingung, dass der Maskierungsterm des verschlüsselten Residuums identisch null bleibt, gibt das System das Residuensignal automatisch in einer spezifischen Spalte des Chiffretexts preis.
- Dieser Ansatz erweitert die vorherige SISO-Arbeit der Autoren auf allgemeine MIMO-Systeme, indem das Schema wiederholt auf jeden Ausgangskanal angewendet wird.
Erkennung und Wiederherstellung:
Der verschlüsselte Beobachter operiert auf verschlüsselten Eingängen und Zuständen. Das Residuensignal wird direkt aus der ersten Spalte der resultierenden Chiffretexte durch Skalierung wiederhergestellt, ohne dass der geheime Schlüssel erforderlich ist. Wenn die Größe dieses wiederhergestellten Residuums einen vorgeschriebenen Schwellenwert überschreitet, wird ein Sensorangriff erkannt. Gleichzeitig kann der vollständige Zustand als verschlüsselte Nachricht durch Entschlüsselung des Zustands des Beobachters wiederhergestellt werden.

Hauptbeiträge

Direkte Angriffserkennung ohne Entschlüsselung: Die Arbeit schlägt ein Schema vor, bei dem das für die Anomalieerkennung wesentliche Residuensignal automatisch im verschlüsselten Bereich preisgegeben wird. Dies eliminiert die Notwendigkeit, verschlüsselte Residuen an eine vertrauenswürdige dritte Partei zur Entschlüsselung zu übertragen.
Erweiterung auf MIMO-Systeme: Im Gegensatz zu früheren Arbeiten, die auf SISO-Systeme beschränkt waren, ist diese Methode auf allgemeine Systeme mit mehreren Eingängen und mehreren Ausgängen anwendbar, indem sie durch wiederholte Anwendung des MISO-basierten Schemas beliebige sparsame Sensorangriffe behandelt.
Ausnutzung der Null-Dynamik: Die Autoren führen einen Mechanismus ein, um Standard-LWE-Chiffretexte durch Ausnutzung der Null-Dynamik des Beobachters zu modifizieren, wodurch sichergestellt wird, dass der Maskierungsterm für das Residuensignal nullifiziert wird, während die Sicherheit des zugrunde liegenden Schemas gewahrt bleibt.
Theoretische Garantien: Die Arbeit liefert Bedingungen für Skalierungsfaktoren und den Modul $q$ , um sicherzustellen, dass das Residuensignal das Vorhandensein von Angriffen genau widerspiegelt und dass der Fehler der Zustandsabschätzung begrenzt bleibt, wenn kein Angriff vorliegt.

Simulationsergebnisse
Die Methode wurde durch Simulationen an einem System mit drei Trägheitsmomenten (diskretisiert aus einem Modell in Ogata (1995)) validiert.

Aufbau: Das System verfügte über 6 Zustände, 1 Eingang und 5 Sensoren. Die Verschlüsselungsparameter wurden gewählt, um eine 128-Bit-Sicherheit zu gewährleisten.
Szenario: Ein sparsamer Angriff wurde zum Zeitpunkt $t=2,5$ Sekunden in den dritten Sensor injiziert.
Ergebnis: Die Simulation zeigte, dass der verschlüsselte Beobachter den Angriff erfolgreich erkannte. Das wiederhergestellte Residuensignal und der Fehler der Zustandsabschätzung überschritten unmittelbar nach der Injektion des Angriffs die in der Arbeit definierten theoretischen Schwellenwerte, was bestätigte, dass Angriffe ohne Zugriff auf den geheimen Schlüssel erkannt werden können.

Bedeutung und Behauptungen
Die Arbeit behauptet, dass die vorgeschlagene Methode ein Gleichgewicht zwischen Vertraulichkeit und Integrität in verschlüsselten Steuerungssystemen erreicht. Indem nur das Residuensignal preisgegeben wird (das die Differenz zwischen Zustandsabschätzungen darstellt und den Anlagenzustand nicht direkt offenlegt), erkennt die Methode Angriffe, ohne die Sicherheit des Standard-LWE-Schemas über diese beabsichtigte Preisgabe hinaus zu gefährden. Die Autoren stellen fest, dass das Residuensignal typischerweise von Rauschen und Modellunsicherheiten dominiert wird, was es einem Angreifer erschwert, allein aus dem preisgegebenen Signal aussagekräftige private Informationen zu extrahieren. Die Arbeit stellt einen Schritt hin zu einer sicheren, widerstandsfähigen Steuerung dar, bei der die Anomalieerkennung direkt in die verschlüsselte Berechnungsschicht integriert ist.