Modèle de l'oracle aléatoire
En cryptologie, le modèle de l'oracle aléatoire est un cadre théorique idéalisé dans lequel on peut prouver la sécurité de certains algorithmes cryptographiques, en particulier les signatures numériques. Il postule l'existence d'un oracle, c'est-à-dire d'une boîte noire, qu'un adversaire peut interroger et qui fournit une réponse « aléatoire », dans un sens précisé plus bas. Ce modèle essaie de capturer le comportement idéal d'une fonction de hachage cryptographique. 

Le modèle de l'oracle aléatoire a été introduit en 1993 par les cryptologues Mihir Bellare et Phillip Rogaway.

Un des intérêts du modèle de l'oracle aléatoire est qu'il permet de construire des preuves de sécurité pour les algorithmes utilisant des fonctions de hachage, sans avoir besoin de rentrer dans les détails d'implémentation de ces dernières. Toutefois, on sait qu'il existe des algorithmes prouvés sûrs dans le modèle de l'oracle aléatoire, qui sont complètement cassés si on remplace l'oracle par n'importe quelle fonction de hachage réelle, ce qui a initialement causé des doutes quant à la pertinence des preuves dans ce modèle. Pire, il n'est possible de prouver la sécurité de certains algorithmes, tel que FDH, que dans le modèle de l'oracle aléatoire.  

Si les preuves dans le modèle standard restent préférables, les réticences face au modèle de l'oracle aléatoire sont aujourd'hui modérées. Qui plus est, des modèles a priori différents tels que le modèle du chiffre idéal se sont en fait avérés équivalents au modèle de l'oracle aléatoire. Pour ces raisons une preuve dans le modèle de l'oracle aléatoire a surtout une valeur heuristique.

Exemples importants 

 La sécurité du schéma de signature de Schnorr et de celui d'ElGamal ont été réduites à la difficulté du logarithme discret dans le modèle de l'oracle aléatoire. Il est cependant vraisemblable qu'une preuve sans l'oracle aléatoire est hors d'atteinte.
 La sécurité du chiffrement RSA avec OAEP comme avec  est réduite à la difficulté du problème RSA dans le modèle de l'oracle aléatoire.
 La sécurité de la signature Full Domain Hash est réduite à la difficulté du problème RSA dans le modèle de l'oracle aléatoire. Cependant on sait qu'il n'existe de preuve que dans ce modèle.
 La sécurité du chiffrement basé sur l'identité de Boneh-Franklin est réduite à une variante du problème de Diffie-Hellman calculatoire dans le modèle de l'oracle aléatoire.

Définition 
Dans le modèle de l'oracle aléatoire, les participants ont accès à un oracle  qui répond à un nombre polynomial de requêtes de la manière suivante :

 Pour une requête  jamais formulée auparavant, l'oracle répond une chaîne de bits  choisie uniformément au hasard.
 Pour une requête  déjà reçue, l'oracle renvoie .

Comme souvent en informatique théorique, la notion de choix aléatoire peut se formaliser au moyen d'une « bande aléatoire » . La capacité pour le cryptologue de rembobiner cette bande est au cœur de nombreuses preuves de sécurité dans ce modèle, au moyen du forking lemma.

Dans la mesure où  est choisi de manière qui ne peut être distinguée d'un véritable choix uniforme, il est possible de le générer d'une manière inconnue de l'adversaire. Ce modèle, dit « de l'oracle aléatoire programmable » permet de contraindre l'adversaire dans une preuve par réduction à casser une hypothèse calculatoire.

Voir aussi 

 Modèle du chiffre idéal
 Modèle du groupe générique

Notes et références

Notes

Références 

Cryptologie
En cryptologie , le modèle de l' oracle aléatoire est un cadre théorique idéalisé dans lequel on peut prouver la sécurité de certains algorithmes cryptographiques , en particulier les signatures numériques . Il postule l' existence d' un oracle , c'est-à-dire d' une boîte noire , qu' un adversaire peut interroger et qui fournit une réponse « aléatoire » , dans un sens précisé plus bas . Ce modèle essaie de capturer le comportement idéal d' une fonction de hachage cryptographique . Le modèle de l' oracle aléatoire a été introduit enpar les cryptologues Mihir Bellare et Phillip Rogaway . Un de les intérêts de le modèle de l' oracle aléatoire est qu' il permet de construire de les preuves de sécurité pour les algorithmes utilisant de les fonctions de hachage , sans avoir besoin de rentrer dans les détails d' implémentation de ces dernières . Toutefois , on sait qu' il existe de les algorithmes prouvés sûrs dans le modèle de l' oracle aléatoire , qui sont complètement cassés si on remplace l' oracle par n' importe quelle fonction de hachage réelle , ce qui a initialement causé de les doutes quant à la pertinence de les preuves dans ce modèle . Pire , il n' est possible de prouver la sécurité de certains algorithmes , tel que FDH , que dans le modèle de l' oracle aléatoire . Si les preuves dans le modèle standard restent préférables , les réticences face à le modèle de l' oracle aléatoire sont aujourd'hui modérées . Qui plus est , de les modèles a priori différents tels que le modèle de le chiffre idéal se sont en fait avérés équivalents à le modèle de l' oracle aléatoire . Pour ces raisons une preuve dans le modèle de l' oracle aléatoire a surtout une valeur heuristique . Exemples importants La sécurité de le schéma de signature de Schnorr et de celui d' ElGamal ont été réduites à la difficulté de le logarithme discret dans le modèle de l' oracle aléatoire . Il est cependant vraisemblable qu' une preuve sans l' oracle aléatoire est hors d' atteinte . La sécurité de le chiffrement RSA avec OAEP comme avec est réduite à la difficulté de le problème RSA dans le modèle de l' oracle aléatoire . La sécurité de la signature Full Domain Hash est réduite à la difficulté de le problème RSA dans le modèle de l' oracle aléatoire . Cependant on sait qu' il n' existe de preuve que dans ce modèle . La sécurité de le chiffrement basé sur l' identité de Boneh-Franklin est réduite à une variante de le problème de Diffie-Hellman calculatoire dans le modèle de l' oracle aléatoire . Définition Dans le modèle de l' oracle aléatoire , les participants ont accès à un oracle qui répond à un nombre polynomial de requêtes de la manière suivante \ : Pour une requête jamais formulée auparavant , l' oracle répond une chaîne de bits choisie uniformément à le hasard . Pour une requête déjà reçue , l' oracle renvoie \ . Comme souvent en informatique théorique , la notion de choix aléatoire peut se formaliser à le moyen d' une « bande aléatoire » \ . La capacité pour le cryptologue de rembobiner cette bande est à le cœur de nombreuses preuves de sécurité dans ce modèle , à le moyen de le forking lemma . Dans la mesure où est choisi de manière qui ne peut être distinguée d' un véritable choix uniforme , il est possible de le générer d' une manière inconnue de l' adversaire . Ce modèle , dit « de l' oracle aléatoire programmable » permet de contraindre l' adversaire dans une preuve par réduction à casser une hypothèse calculatoire . Voir aussi Modèle de le chiffre idéal Modèle de le groupe générique Notes et références Notes Références Cryptologie