Semantic Security
Semantische Sicherheit, eingeführt von Goldwasser und Micali, bedeutet, dass ein Angreifer aus dem Geheimtext kein effizient berechenbares Prädikat des Klartexts berechnen kann; sie ist die Formalisierung der informationstheoretischen Intuition der Vertraulichkeit.
Zweck
Sie definiert den Standard „keine Informationslecks“ der Verschlüsselungsvertraulichkeit und ist äquivalent zu IND-CPA (bei symmetrischer und Public-Key-Verschlüsselung).
Mechanismus
Der Gegner kennt die Verteilung der Klartexte im Voraus und versucht nach Sichtung des Geheimtextes, ein Prädikat f(m) zu berechnen – ohne nennenswerten Vorteil gegenüber dem Fall ohne Geheimtext, bis auf einen vernachlässigbaren Betrag. Semantische Sicherheit ⟺ IND-CPA.
Anwendungsfälle
- Sicherheitsdefinitionen der Verschlüsselung
- Beweisbare Sicherheit
- Formalisierung der Vertraulichkeit