Saltar al contenido
uencoder

Semantic Security

La seguridad semántica, introducida por Goldwasser y Micali, significa que un atacante no puede calcular a partir del texto cifrado ningún predicado eficientemente computable del texto plano; es la formalización de la intuición informativo-teórica de la confidencialidad.

Propósito

Define el estándar de «sin fuga de información» de la confidencialidad del cifrado y equivale a IND-CPA (para cifrado simétrico y de clave pública).

Mecanismo

El adversario conoce de antemano la distribución de los textos planos y, tras ver el texto cifrado, intenta calcular algún predicado f(m) sin más ventaja que sin el texto cifrado, salvo una cantidad despreciable. Seguridad semántica ⟺ IND-CPA.

Casos de uso

  • Definiciones de seguridad del cifrado
  • Seguridad demostrable
  • Formalización de la confidencialidad

Herramientas relacionadas

References