Security Reduction
Die Sicherheitsreduktion ist die Kerntechnik der beweisbaren Sicherheit: Sie verwandelt einen effizienten Angriff auf ein Kryptoschema in einen effizienten Algorithmus für ein schweres Problem und beweist die Sicherheit durch Widerspruch.
Zweck
Die mathematische Brücke von einer Sicherheitsannahme zur Schemasicherheit schlagen; das formale Werkzeug der beweisbaren Sicherheit.
Mechanismus
Zu einem Angreifer A des Schemas konstruiert man einen Löser B des schweren Problems: B erhält eine Probleminstanz, bettet sie in die Parameter des Schemas ein und extrahiert mit A's Angriffsfähigkeit die Lösung des schweren Problems. Der Reduktionsverlust quantifiziert die Effizienzlücke zwischen B und A.
Anwendungsfälle
- Kryptografische Sicherheitsbeweise
- Analyse der Reduktionseffizienz
- Sicherheitsbewertung von Protokollen