Indistinguishability
Ununterscheidbarkeit (IND) ist die zentrale formale Sicherheitsdefinition der Kryptographie: Ein Angreifer kann die Verschlüsselungen zweier Challenge-Klartexte nicht mit nicht vernachlässigbarem Vorteil unterscheiden.
Zweck
Sie liefert die Beweisbarkeit-Definition der Vertraulichkeit für Verschlüsselung — den Goldstandard der modernen Kryptographie.
Mechanismus
Der Gegner reicht gleich lange Klartexte m0 und m1 ein, der Challenger verschlüsselt zufällig einen und gibt C* zurück, und der Gegner rät b. Sicherheit verlangt, dass der Vorteil Adv = |Pr[b′=b] − 1/2| vernachlässigbar ist. Verschiedene Orakel ergeben IND-CPA/CCA.
Anwendungsfälle
- Sicherheitsbeweise für Verschlüsselung
- Analyse kryptographischer Protokolle
- Beweisbare Sicherheit