Provable Security
Beweisbare Sicherheit reduziert die Sicherheit eines Kryptoschemas auf ein weithin für rechenhart gehaltenes Problem: Bricht ein Angreifer in Polynomialzeit das Schema, lässt sich ein Polynomialzeit-Algorithmus für das harte Problem konstruieren.
Zweck
Kryptoschemata mathematische Sicherheitsgarantien statt heuristischer Analysen geben; das Designparadigma der modernen Kryptografie.
Mechanismus
Konstruiert wird eine Sicherheitsreduktion: Angenommen Angreifer A bricht das Schema mit Vorteil ε, dann lässt sich Algorithmus B bauen, der A als Unterroutine nutzt, um das harte Problem (z. B. DDH, LWE) mit verwandtem Vorteil zu lösen. Da das harte Problem keine Polynomialzeit-Lösung haben soll, kann A nicht existieren.
Anwendungsfälle
- Sicherheitsbeweise von Kryptoschemata
- Protokolldesign
- Bewertung post-quantum Schemata