Provable Security
La seguridad demostrable reduce la seguridad de un esquema criptográfico a un problema computacionalmente difícil ampliamente aceptado: si un atacante en tiempo polinómico rompe el esquema, se puede construir un algoritmo en tiempo polinómico para el problema difícil.
Propósito
Dar a los esquemas criptográficos garantías de seguridad matemáticas en lugar de análisis heurísticos; el paradigma de diseño de la criptografía moderna.
Mecanismo
Se construye una reducción de seguridad: suponiendo que el atacante A rompe el esquema con ventaja ε, se construye el algoritmo B que usa A como subrutina para resolver el problema difícil (p. ej., DDH, LWE) con ventaja relacionada. Como se asume que el problema difícil no tiene solución en tiempo polinómico, A no puede existir.
Casos de uso
- Pruebas de seguridad de esquemas criptográficos
- Diseño de protocolos
- Evaluación de esquemas post-cuánticos