Game-Based Proof
Les preuves par jeux sont le cadre formel de la sécurité prouvable : les définitions de sécurité et les réductions s'expriment comme une suite de jeux entre attaquant et challenger, avec des remplacements progressifs jusqu'à l'indistinguabilité.
Objectif
Elles donnent aux protocoles cryptographiques une preuve de sécurité structurée et vérifiable, et constituent la méthode standard de la cryptographie moderne.
Mécanisme
On définit un jeu de sécurité G0 (le schéma réel) et G1 (idéal/indéchiffrable) ; à travers une chaîne de jeux intermédiaires G0→G1→...→Gn, chaque étape remplace une partie du schéma, l'avantage de distinction de chaque remplacement est borné par une hypothèse, et les bornes se somment en l'avantage total.
Cas d’usage
- Preuves de sécurité de protocoles cryptographiques
- Analyse de schémas de chiffrement
- Vérification formelle de sécurité