Provable Security
La sécurité prouvable ramène la sécurité d'un schéma cryptographique à un problème réputé computationnellement difficile : si un attaquant en temps polynomial casse le schéma, on peut construire un algorithme en temps polynomial pour le problème difficile.
Objectif
Donner aux schémas cryptographiques des garanties de sécurité mathématiques plutôt que des analyses heuristiques ; le paradigme de conception de la cryptographie moderne.
Mécanisme
On construit une réduction de sécurité : en supposant que l'attaquant A casse le schéma avec avantage ε, on bâtit l'algorithme B qui utilise A comme sous-programme pour résoudre le problème difficile (p. ex. DDH, LWE) avec un avantage lié. Le problème difficile étant supposé sans solution en temps polynomial, A ne peut pas exister.
Cas d’usage
- Preuves de sécurité des schémas cryptographiques
- Conception de protocoles
- Évaluation des schémas post-quantiques