Saltar al contenido
uencoder

Security Reduction

La reducción de seguridad es la técnica central de la seguridad demostrable: convierte un ataque eficiente contra un esquema criptográfico en un algoritmo eficiente para un problema difícil, probando la seguridad por contradicción.

Propósito

Tender el puente matemático desde un supuesto de seguridad hasta la seguridad del esquema; la herramienta formal de la seguridad demostrable.

Mecanismo

Dado un atacante A del esquema, se construye un solucionador B del problema difícil: B recibe una instancia del problema, la incrusta en los parámetros del esquema y extrae la solución del problema difícil usando la capacidad de ataque de A. La pérdida de reducción cuantifica la brecha de eficiencia entre B y A.

Casos de uso

  • Pruebas de seguridad criptográfica
  • Análisis de la eficiencia de la reducción
  • Evaluación de la seguridad de protocolos

Herramientas relacionadas

References