Security Reduction
La réduction de sécurité est la technique centrale de la sécurité prouvable : elle convertit une attaque efficace contre un schéma cryptographique en un algorithme efficace pour un problème difficile, prouvant la sécurité par l'absurde.
Objectif
Jeter le pont mathématique entre une hypothèse de sécurité et la sécurité du schéma ; l'outil formel de la sécurité prouvable.
Mécanisme
Étant donné un attaquant A du schéma, on construit un solveur B du problème difficile : B reçoit une instance du problème, l'incruste dans les paramètres du schéma et extrait la solution du problème difficile grâce à la capacité d'attaque de A. La perte de réduction quantifie l'écart d'efficacité entre B et A.
Cas d’usage
- Preuves de sécurité cryptographique
- Analyse de l'efficacité de la réduction
- Évaluation de la sécurité des protocoles