💻 computer science

Efficient Pairing-Free Partially Blind Strong Designated-Verifier Signatures for Edge Environments

Dieses Papier präsentiert ein neues, paarungsfreies, teilweise blindes, starkes Designated-Verifier-Signaturverfahren, das feingranulare Privatsphäre und Nicht-Übertragbarkeit bei geringem Rechenaufwand gewährleistet, wodurch es hochgradig geeignet für ressourcenbeschränkte Edge-Umgebungen wie IoT- und Fahrzeugnetzwerke ist.

Ursprüngliche Autoren: Panayiotis Kalogeropoulos, Panayiotis Kotzanikolaou, Christos Pilichos

Veröffentlicht 2026-09-22

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Panayiotis Kalogeropoulos, Panayiotis Kotzanikolaou, Christos Pilichos

Originalarbeit lizenziert unter CC BY 4.0 (https://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

In der digitalen Welt ist eine Signatur normalerweise ein öffentlicher Akt. Wenn Sie ein Dokument online unterzeichnen, kann jeder, der die Signatur sieht und über den richtigen Schlüssel verfügt, verifizieren, dass sie von Ihnen stammt. Diese Transparenz ist nützlich für Verträge und öffentliche Aufzeichnungen, schafft aber ein Problem für die Privatsphäre. Stellen Sie sich vor, ein Arzt sendet einen vertraulichen Bericht an einen bestimmten Versicherungsprüfer. Wenn dieser Bericht auf herkömmliche Weise signiert wird, könnte jeder, der ihn abfängt, verifizieren, dass er vom Arzt gesendet wurde. Dies verwandelt einen privaten Austausch in einen öffentlichen Beweis und setzt die Nachricht potenziell fremden Personen aus oder ermöglicht es, die Nachricht über den beabsichtigten Empfänger hinaus zu teilen. Um dies zu lösen, haben Kryptografen ein Werkzeug namens Designated-Verifier-Signatur entwickelt. In diesem System wird eine Nachricht so signiert, dass nur eine bestimmte Person – der ausgewiesene Verifizierer (Designated Verifier) – bestätigen kann, dass sie echt ist. Für alle anderen sieht die Signatur wie zufälliges Rauschen aus und bietet keinen Beweis für ihren Ursprung. Dies schützt die Privatsphäre des Austauschs und stellt sicher, dass die Nachricht selbst dann, wenn sie gestohlen wird, nicht als übertragbarer Beweis gegen den Absender verwendet werden kann.

Dennoch erfordern reale Szenarien oft etwas mehr Nuancierung. Manchmal muss die Person, die eine Nachricht signiert, einige öffentliche Informationen sehen können, wie etwa ein Datum oder einen Standortcode, muss aber gleichzeitig völlig blind gegenüber dem privaten Inhalt bleiben, wie etwa einer spezifischen medizinischen Diagnose oder einem Finanzbetrag. Dies ist als teilweise blinde Signatur bekannt. Die Kombination dieser beiden Anforderungen – eine Signatur, die sowohl teilweise blind als auch auf einen einzelnen Verifizierer beschränkt ist – stellt eine schwierige kryptografische Herausforderung dar. Bestehende Lösungen hierfür stützten sich auf komplexe mathematische Operationen, die langsam und energiehungrig sind, was sie für kleine, batteriebetriebene Geräte wie jene in Autos, Drohnen oder intelligenten Sensoren unpraktisch macht. Diese Geräte arbeiten oft in Umgebungen, in denen Millisekunden zählen und die Energie knapp ist.

Ein Team von Forschern der Universität Piräus hat eine neue Methode zur Lösung dieses Problems vorgestellt, die sowohl privatsphäre-wahrend als auch hocheffizient ist. Sie entwickelten eine neue Art von Signaturverfahren, das es dem Absender ermöglicht, private Details zu verbergen und gleichzeitig einen öffentlichen Kontext einzubeziehen, während gleichzeitig sichergestellt wird, dass nur der beabsichtigte Empfänger die Nachricht verifizieren kann. Die entscheidende Innovation besteht darin, dass ihr System die schweren, langsamen mathematischen Berechnungen vermeidet, die bisherige Versuche geplagt haben. Anstatt komplexe Paarungsoperationen (Pairing-Operationen) zu verwenden, die die Batterielaufzeit verkürzen und die Verarbeitung verlangsamen, stützt sich ihre Methode auf die Standard-Elliptische-Kurven-Mathematik, die schneller ist. Dies macht es möglich, diese Privatsphäre-Schutzmaßnahmen auf kleinen, ressourcenbeschränkten Geräten auszuführen, ohne Geschwindigkeit oder Sicherheit zu opfern.

Die Forscher testeten ihr neues System auf einem Raspberry Pi 4, einem kleinen Computer, der oft verwendet wird, um die Fähigkeiten moderner Edge-Geräte wie Straßensensoren in Verkehrsnetzen oder Kommunikationsknoten für Drohnenschwärme zu repräsentieren. Sie fanden heraus, dass das System eine Signatur in etwa 1,5 Millisekunden generieren und in etwa 0,6 Millisekunden verifizieren kann. Diese Zeiten sind schnell genug, um die hohen Geschwindigkeiten und Echtzeitanforderungen sicherheitskritischer Anwendungen zu bewältigen, wie etwa Fahrzeuge, die ihren Standort zur Vermeidung von Kollisionen aussenden, oder Drohnen, die sich in einem Schwarm koordinieren. In einem Test, bei dem das Gerät alle vier Prozessorkerne nutzte, um mehrere Aufgaben gleichzeitig zu bearbeiten, konnte das System fast 6.000 Nachrichten pro Sekunde verifizieren. Dieses Leistungsniveau deutet darauf darauf hin, dass die Technologie bereit für den realen Einsatz in Umgebungen ist, in denen Geräte sowohl sicher als auch effizient sein müssen.

Über die Geschwindigkeit hinaus untersuchten die Forscher auch die Sicherheit des Systems. Sie haben mathematisch bewiesen, dass das Schema wie beabsichtigt funktioniert: Der Unterzeichner kann die verborgene private Nachricht nicht erfahren, und der ausgewiesene Verifizierer kann keine gefälschte Signatur erstellen, die so aussieht, als käme sie vom Unterzeichner, noch kann er gegenüber einem Dritten beweisen, dass der Unterzeichner die Nachricht tatsächlich gesendet hat. Letzterer Punkt ist entscheidend für die Nicht-Übertragbarkeit; das bedeutet, der Verifizierer kann die Signatur nicht nehmen und sie einem Richter oder einem Nachrichtenmedium vorlegen, um die Beteiligung des Absenders zu beweisen, da der Verifizierer selbst eine identisch aussehende Signatur hätte erzeugen können. Die Forscher identifizierten auch Mängel in einer zuvor populären Methode zur Erreichung ähnlicher Ziele und zeigten auf, dass die älteren Gleichungen nicht wie behauptet funktionierten. Indem sie diese fehlerhaften Ansätze verworfen und ein neues, Paarungs-freies System aufgebaut haben, haben sie ein zuverlässigeres Fundament für die Privatsphäre geschaffen.

Die praktischen Auswirkungen dieser Arbeit sind erheblich für das wachsende Netzwerk vernetzter Geräte. In einer Welt, in der Autos mit Straßen kommunizieren, Drohnen miteinander sprechen und medizinische Sensoren mit Krankenhäusern kommunizieren, ist der Schutz der Privatsphäre dieser Austauschprozesse essenziell. Wenn ein Fahrzeug seinen Standort sendet, sollte es dies in einer Weise tun können, die nur das Verkehrsmanagementzentrum verifizieren kann, ohne dass ein Hacker die Bewegungen des Autos verfolgen oder die Nachricht nutzen kann, um den Fahrzeughalter zu diskreditieren. Das neue System ermöglicht diese Art der selektiven Verifizierung bei gleichzeitig geringen Rechenkosten für die kleinen Chips in diesen Geräten. Die Forscher haben ihren Code öffentlich zugänglich gemacht und laden andere dazu ein, ihre Arbeit zu testen und darauf aufzubauen. Durch die Beseitigung der schweren mathematischen Last früherer Systeme haben sie die Tür geöffnet, damit privatsphäre-wahrende Authentifizierung zu einem Standardmerkmal in den Edge-Umgebungen wird, die unser tägliches Leben zunehmend prägen.

Technische Zusammenfassung: Effiziente, paarungsfreie, teilweise blinde starke Designated-Verifier-Signaturen für Edge-Umgebungen

Problemstellung
Traditionelle digitale Signaturen erlauben es jedem Akteur mit dem öffentlichen Schlüssel des Signers, die Authentizität zu verifizieren, was in sensiblen Szenarien die Privatsphäre gefährden kann. Designated Verifier Signature Schemes (DVSS) adressieren dies, indem sie die Verifizierung auf einen spezifischen Empfänger einschränken und so die Nicht-Übertragbarkeit gewährleisten. Bestehende Konstruktionen für teilweise blinde Designated-Verifier Signature Schemes (PB-DVSS) stehen jedoch vor erheblichen Einschränkungen in ressourcenbeschränkten Edge-Umgebungen (z. B. IoT, VANETs, UAVs). Aktuelle Konstruktionen, wie die von Xu et al. und Cao et al., stützen sich stark auf rechenintensive bilineare Paarungen und erfordern oft Interaktionen über mehrere Runden hinweg. Darüber hinaus identifizieren die Autoren eine grundlegende algebraische Inkonsistenz im Basis-Schema von Xu et al. [12], die verhindert, dass dieses die wie ursprünglich angegeben Korrektheit erreicht. Diese Ineffizienzen und Korrektheitsfragen behindern die Implementierung privatsphäre-wahrender Authentifizierung in Echtzeit-Edge-Systemen, in denen niedrige Latenz und hoher Durchsatz entscheidend sind.

Methodik
Die Autoren schlagen ein neues kryptographisches Primitiv vor: das Partially Blind Strong Designated-Verifier Signature Scheme (PB–SDVSS). Die Konstruktion ist darauf ausgelegt, vollständig über Standard-Elliptische-Kurven-Gruppen mit Primzahlordnung zu operieren, wodurch die Notwendigkeit bilinearer Paarungen entfällt.

Protokollstruktur: Das Schema umfasst drei Entitäten: den Signer ( $S$ ), den Designated Verifier ( $V$ ) und den Nutzer ( $U$ ). Es unterstützt ein Nachrichtenpaar $(m, \text{info})$ , wobei $m$ eine private Nachrichtenkomponente ist (vom Nutzer geblindet) und $\text{info}$ öffentliche Informationen sind, die für den Signer sichtbar sind.
Algebraischer Kern: Das Protokoll nutzt Standard-Elliptische-Kurven-Operationen (Punktmultiplikation, Skalaraddition) und Hashfunktionen, die als Random Oracles modelliert sind.
- Signierung: Der Nutzer blindet die Anfrage unter Verwendung von Zufallswerten ( $u_1, u_2, d$ ) und interagiert mit dem Signer. Der Signer berechnet Antworten basierend auf seinem geheimen Schlüssel und der geblindeten Challenge. Der Nutzer entfernt anschließend die Blindung der Antwort, um die endgültige Signatur $\sigma = (x^\star, \alpha^\star, \text{sig}_1, \text{sig}_2)$ zu bilden.
- Verifizierung: Der Designated Verifier nutzt seinen geheimen Schlüssel, um zwei Bedingungen zu prüfen: eine Hash-Konsistenzprüfung ( $\alpha^\star = H(m, \text{info}, x^\star)$ ) und eine algebraische Verifizierungsgleichung, die den öffentlichen Schlüssel des Signers, den öffentlichen Schlüssel des Verifiers und die Signaturkomponenten involviert.
- Simulation: Ein wesentliches Merkmal von Strong DVSS ist, dass der Designated Verifier gültige Signaturen ohne Interaktion mit dem Signer simulieren kann. Die Autoren stellen einen Algorithmus bereit, mit dem der Verifier Signaturen generieren kann, die von echten Signaturen ununterscheidbar sind, was die Nicht-Übertragbarkeit sicherstellt.
Sicherheitsmodell: Das Schema wird im Random Oracle Model (ROM) unter der Computational Diffie–Hellman (CDH) Annahme als sicher bewiesen. Die Sicherheitseigenschaften umfassen:
- Perfekte partielle Blindheit: Der Signer erfährt nichts über die private Nachricht $m$ über die vereinbarten öffentlichen $\text{info}$ hinaus.
- Starke One-More Unforgeability: Ein Angreifer kann nicht mehr gültige Signaturen produzieren, als die Anzahl der durchgeführten Signier-Interaktionen.
- Designated-Verifier Nicht-Übertragbarkeit: Der Verifier kann Dritte nicht von der Herkunft der Signatur überzeugen, da er selbst ununterscheidbare Transkripte generieren kann.

Wesentliche Beiträge

Paarungsfreie Effizienz: Die Autoren präsentieren die erste PB–SDVSS-Konstruktion, die bilinearer Paarungen vollständig eliminiert und sich ausschließlich auf Standard-Elliptische-Kurven-Operationen stützt. Dies steht im Gegensatz zu bestehenden Schemata (z. B. benötigt Xu et al. 7 Paarungen, Cao et al. 4), die für Edge-Geräte rechenintensiv sind.
Kryptanalyse bestehender Literatur: Die Arbeit liefert eine rigorose algebraische Analyse, die zeigt, dass das von Xu et al. [12] vorgeschlagene Schema fundamentale Inkonsistenzen aufweist, welche verhindern, dass es die Korrektheit erreicht; dies rechtfertigt den Ausschluss dieses Schemas aus den Leistungsbenchmarks.
Formales Sicherheitsframework: Eine vereinheitlichte formale Definition für PB–SDVSS wurde etabliert. Es wurden formale Beweise für perfekte partielle Blindheit, starke One-More Unforgeability (unter CDH) und Nicht-Übertragbarkeit geliefert.
Open-Source-Implementierung und Evaluierung: Die Autoren stellen eine vollständig Open-Source-Implementierung bereit und führen umfangreiche experimentelle Evaluierungen auf einem Raspberry Pi 4 durch, der einen typischen IoT-Edge-Gateway repräsentiert.

Experimentelle Ergebnisse
Die Evaluierung wurde auf einem Raspberry Pi 4 (ARM Cortex-A72) unter Verwendung von NIST P-256 und anderen elliptischen Kurven durchgeführt.

Performance: Auf NIST P-256 erreicht das Schema eine Signierzeit von etwa 1,5 ms und eine Verifizierungszeit von 0,6 ms.
Durchsatz: Das Single-Core-System unterstützt ~656 Signieroperationen pro Sekunde und ~1.544 Verifizierungsoperationen pro Sekunde. Bei vierkerniger paralleler Ausführung steigt der Durchsatz auf ~2.607 Signierungen/Sekunde und ~5.984 Verifizierungen/Sekunde.
Vergleich: Im Vergleich zu paarungsbasierten Baselines (Cao, Sharma, Zhang–Wen), die auf derselben Hardware implementiert wurden, zeigt das vorgeschlagene Schema signifikante Beschleunigungen. Beispielsweise erreicht PB–SDVSS in der OpenSSL-Umgebung einen bis zu 7,5-fach höheren Signierdurchsatz und einen 27,5-fach höheren Verifizierungsdurchsatz im Vergleich zur Zhang–Wen-Baseline.
Robustheit: Die Verifizierungskosten bleiben stabil, auch wenn ungültige oder fehlerhafte Signaturen verarbeitet werden, was auf eine Resistenz gegen Denial-of-Service-Angriffe durch fehlerhafte Eingaben hindeutet.
Overhead: Die Signaturgröße ist mit 130 Bytes (1040 Bits) für NIST P-256 kompakt und somit für bandbreitenbeschränkte Umgebungen geeignet.

Bedeutung und Ansprüche
Das Paper behauptet, dass PB–SDVSS ein hochgradig geeignender kryptographischer Baustein für privatsphäre-sensible und ressourcenbeschränkte Umgebungen ist. Durch die Entfernung des Rechenengpasses bilinearer Paarungen ermöglicht das Schema feingliedrige Nachrichtenprivatsphäre und nicht-übertragbare Authentifizierung in Szenarien wie:

UAV-Schwärme: Wo Anführer geblendete Aggregate von Schwarmdaten für Bodenkontrollzentren signieren.
Vehicular Ad Hoc Networks (VANETs): Unterstützung von Standortprivatsphäre bei gleichzeitiger Ermöglichung der Verifizierung von Sicherheitsbeacons durch vertrauenswürdige Roadside Units (RSUs).
IoT und Edge Computing: Bereitstellung leichtgewichtiger Authentifizierung für medizinische IoT-Geräte, Smart Homes und dezentrale Systeme.

Die Autoren betonen, dass das Schema in die strengen Latenzbudgets (oft < 50 ms) passt, die für sicherheitskritische Anwendungen wie die V2I-Kommunikation erforderlich sind. Sie kommen zu dem Schluss, dass die Kombination aus theoretischen Sicherheitsbeweisen und praktischer eingebetteter Performance die Nützlichkeit des Schemas für die Authentifizierungssysteme der nächsten Generation am Edge validiert. Als zukünftige Arbeit wird die Integration des Schemas in reale VANET- und UAV-Schwarmumgebungen sowie die Untersuchung von „Proof-Carrying“-Varianten für Nicht-Delegierbarkeit identifiziert.

Mehr davon