Random Oracle Model
Das Random-Oracle-Modell (ROM) idealisiert Hashfunktionen als echt zufällige Funktionen mit öffentlichem Abfragezugriff und beweist unter dieser Idealisierung die Protokollsicherheit.
Zweck
Liefert beweisbare Sicherheitsargumente für Protokolle, die Standardmodell-Beweisen widerstehen; ein gängiges Analysewerkzeug für Signaturen, Verschlüsselung und Zero-Knowledge-Beweise.
Mechanismus
H wird als Zufallsfunktion modelliert: Jede neue Anfrage liefert einen gleichverteilten Zufallswert, wiederholte Anfragen denselben Wert. Nach dem Sicherheitsbeweis im ROM wird H mit einem konkreten Hash (z. B. SHA-256) instanziiert, und die Sicherheit beruht heuristisch auf Hs Zufälligkeit.
Anwendungsfälle
- Sicherheitsbeweise für Signaturen
- Analyse von Zero-Knowledge-Beweisen
- Design von Verschlüsselungsschemata