Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
Dieser Artikel schlägt einen sicheren Konformitätsprüfungsansatz vor, der es einem Log-Besitzer ermöglicht, die Prozesskonformität gegenüber einem externen Modell zu überprüfen, ohne sensible Ereignisprotokolldaten preiszugeben, indem eine tokenbasierte Replay-Methode mit homomorpher Verschlüsselung kombiniert wird.
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 „geheimen Rezepts"
Stellen Sie sich vor, Sie sind ein berühmter Koch (der Prozesseigentümer), der ein geheimes Rezept für einen perfekten Kuchen hat. Sie möchten dieses Rezept an eine Bäckerei (den Log-Eigentümer) verkaufen, damit diese den Kuchen backen kann. Die Bäckerei ist jedoch besorgt: Wenn sie Ihnen ihre Backprotokolle (Aufzeichnungen darüber, was sie tatsächlich gebacken hat) sendet, könnten Sie daraus ihre geheimen Kundenlisten oder ihre eigenen einzigartigen Backtricks ableiten.
Auf der anderen Seite möchten Sie (der Koch) das geheime Rezept nicht im Klartext senden, da die Bäckerei es sonst stehlen oder mit Wettbewerbern teilen könnte.
Das Problem: Wie kann die Bäckerei dem Koch beweisen, dass sie das Rezept korrekt befolgt, ohne dass der Koch die Protokolle der Bäckerei sieht, und ohne dass die Bäckerei das geheime Rezept des Kochs sieht?
Die Lösung: Dieses Papier schlägt eine „magische Box" (Homomorphe Verschlüsselung) vor, die es der Bäckerei und dem Koch ermöglicht, das Rezept gegen die Protokolle zu prüfen, während alles verschlossen innerhalb der Box bleibt.
Die Kernkonzepte
1. Das Spiel mit den Token (Token-basierte Replay-Analyse)
Um zu prüfen, ob ein Prozess korrekt befolgt wird, verwendet das Papier eine Methode namens Token-basierte Replay-Analyse.
- Die Analogie: Stellen Sie sich ein Brettspiel vor, bei dem Sie eine Karte (das Prozessmodell) und eine Liste der Züge haben, die Sie gemacht haben (das Ereignisprotokoll).
- Wie es funktioniert: Sie beginnen mit einer bestimmten Anzahl von „Token" (wie Spielsteinen) auf dem Startfeld. Während Sie Ihre Zugliste lesen, bewegen Sie die Token entlang des Pfades auf der Karte.
- Wenn Sie die Token genau so bewegen können, wie die Karte es vorschreibt, sind Sie „konform" (machen es richtig).
- Wenn Sie stecken bleiben, weil es für Ihren nächsten Zug keinen Pfad gibt, müssen Sie sich ein Token von der Bank „borgen" (ein fehlendes Token hinzufügen), um weiterzumachen.
- Wenn Sie das Spiel beenden, aber noch überzählige Token auf dem Brett haben, ist das ein „verbleibendes Token" (ein Fehler).
- Das Ziel: Zählen Sie, wie viele Token Sie sich borgen mussten und wie viele übrig blieben. Wenn Sie null borgen mussten und null übrig blieben, haben Sie die Regeln perfekt befolgt.
2. Die magische Box (Homomorphe Verschlüsselung)
Dies ist die Technologie, die den Datenschutz ermöglicht.
- Die Analogie: Stellen Sie sich einen verschlossenen, durchsichtigen Safe vor. Sie können ein Stück Papier hineinstecken, ihn verschließen und jemand anderem geben.
- Die Magie: Obwohl das Papier verschlossen im Safe liegt, kann die Person, die den Safe hält, Mathematik damit durchführen (wie Addieren oder Multiplizieren), ohne den Safe jemals zu öffnen oder die Zahlen zu sehen.
- Das Ergebnis: Wenn sie fertig sind, geben sie den Safe zurück. Sie öffnen ihn, und das Papier enthält nun das Ergebnis der Mathematik, aber die Person, die die Mathematik durchgeführt hat, hat die ursprünglichen Zahlen nie gesehen.
Wie die Methode des Papiers funktioniert
Die Autoren haben diese beiden Ideen kombiniert. Sie haben das „Token-Spiel" in eine Reihe von mathematischen Problemen (Matrixmultiplikationen) verwandelt, die innerhalb der „magischen Box" gelöst werden können.
Hier ist der schrittweise Tanz zwischen den beiden Parteien:
Das Setup:
- Der Koch (Modell-Eigentümer) bereitet die Karte (das Petri-Netz) vor und verschließt sie. Er bereitet auch eine Reihe von „Regeln" (Matrizen) vor, die beschreiben, wie sich Token auf der Karte bewegen.
- Die Bäckerei (Log-Eigentümer) nimmt ihre Liste der Züge (den Verlauf) und verschließt sie in der magischen Box. Sie startet auch mit einer „Token-Anzahl" von null, die in der Box verschlossen ist.
Die Prüfung (Schritt für Schritt):
- Die Bäckerei sendet den verschlüsselten „nächsten Zug" an den Koch.
- Der Koch legt den verschlüsselten Zug in sein eigenes verschlüsseltes „Regelbuch".
- Der Koch führt die Mathematik durch: Mit Hilfe der magischen Box berechnet der Koch:
- „Kann dieser Zug ausgeführt werden?"
- „Wenn nicht, wie viele Token müssen wir borgen?"
- „Wo landen die Token?"
- Der Koch sendet die verschlüsselten Ergebnisse zurück an die Bäckerei.
Das Ergebnis:
- Die Bäckerei entschlüsselt die Ergebnisse. Sie weiß nun, wie viele Token geborgt wurden und wie viele übrig sind, hat aber niemals die geheime Karte des Kochs gesehen.
- Sie wiederholen dies für jeden Zug in ihrem Protokoll.
- Schließlich berechnen sie einen „Fitness-Score" (eine Note von 0 bis 1), um zu sehen, wie gut sie das Rezept befolgt haben.
Was sie gefunden haben (Die Evaluation)
Die Autoren haben einen Prototyp dieses Systems mit einem Tool namens Zama's Concrete (eine Software, die die Mathematik der „magischen Box" handhabt) erstellt.
- Der Test: Sie verwendeten einen gefälschten (synthetischen) Satz von Backprotokollen und eine kleine Karte.
- Die Geschwindigkeit:
- Dies ohne die magische Box (im Klartext) durchzuführen, dauerte Millisekunden.
- Dies mit der magischen Box (verschlüsselt) durchzuführen, dauerte zwischen 8 und 37 Sekunden für kleine Protokolle.
- Hinweis: Sie versuchten eine Version, bei der sie die Token innerhalb der magischen Box zählten, und dies dauerte 35 bis 84 Minuten. Sie stellten fest, dass dies zu langsam war, da die Mathematik zum Zählen für die Verschlüsselung zu schwerfällig war. Daher verlagerten sie das Zählen an die „Außenseite" (die Seite der Bäckerei), um es schneller zu machen.
- Die Schlussfolgerung: Obwohl es viel langsamer ist als die normale Durchführung, ist es schnell genug (unter einer Minute), um im echten Leben nützlich zu sein, wenn Datenschutz kritisch ist.
Zusammenfassung
Dieses Papier erfindet eine Möglichkeit zu prüfen, ob ein Prozess korrekt befolgt wird, ohne dass jemand seine Geheimnisse offenlegen muss. Es verwandelt ein „Token-Spiel" in Mathematik, die gelöst werden kann, während alles in einem digitalen Safe verschlossen ist. Es ist langsamer als die normale Methode, ermöglicht es aber zwei Fremden, der Arbeit des anderen zu vertrauen, ohne ihre privaten Daten preiszugeben.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.