Random Oracle Model
Le modèle de l'oracle aléatoire (ROM) idéalise les fonctions de hachage comme de véritables fonctions aléatoires à accès public, et prouve la sécurité des protocoles sous cette idéalisation.
Objectif
Il fournit des preuves de sécurité prouvable aux protocoles qui résistent aux démonstrations en modèle standard ; un outil d'analyse courant pour les signatures, le chiffrement et les preuves à divulgation nulle.
Mécanisme
H est modélisée comme une fonction aléatoire : chaque nouvelle requête renvoie une valeur uniformément aléatoire, les requêtes répétées renvoient la même. Après avoir prouvé la sécurité dans le ROM, H est instanciée par un hachage concret (p. ex. SHA-256), et la sécurité repose heuristiquement sur l'aléa de H.
Cas d’usage
- Preuves de sécurité des signatures
- Analyse des preuves à divulgation nulle
- Conception de schémas de chiffrement