Game-Based Proof
Spielbasierte Beweise sind der formale Rahmen der beweisbaren Sicherheit: Sicherheitsdefinitionen und Reduktionen werden als Folge von Spielen zwischen Angreifer und Herausforderer ausgedrückt, mit schrittweisen Ersetzungen bis zur Ununterscheidbarkeit.
Zweck
Sie geben kryptographischen Protokollen einen strukturierten, überprüfbaren Sicherheitsbeweis und sind die Standardmethode der modernen Kryptographie.
Mechanismus
Man definiert ein Sicherheitsspiel G0 (das reale Schema) und G1 (ideal/unbrechbar); über eine Kette von Zwischenspielen G0→G1→...→Gn ersetzt jeder Schritt einen Teil des Schemas, der Unterscheidungsvorteil jeder Ersetzung wird durch eine Annahme begrenzt, und die Schranken summieren sich zum Gesamtvorteil.
Anwendungsfälle
- Sicherheitsbeweise kryptographischer Protokolle
- Analyse von Verschlüsselungsschemata
- Formale Sicherheitsverifikation