Hispanopedia WikiEl secreto fuerte es un término utilizado en criptografía basada en pruebas formales para hacer proposiciones sobre la seguridad de los protocolos criptográficos . Es una noción de seguridad más fuerte que el secreto sintáctico (o débil). El secreto fuerte está relacionado con el concepto de seguridad semántica o indistinguibilidad utilizado en el enfoque basado en pruebas computacionales. Bruno Blanchet proporciona la siguiente definición de secreto fuerte:
- Un secreto fuerte significa que un adversario no puede ver ninguna diferencia cuando el valor del secreto cambia [1]
Por ejemplo, si un proceso cifra un mensaje m, un atacante puede diferenciar entre distintos mensajes, ya que sus textos cifrados serán diferentes. Por lo tanto , m no es un secreto fuerte. Sin embargo, si se utilizara cifrado probabilístico , m sí sería un secreto fuerte. La aleatoriedad incorporada al algoritmo de cifrado producirá diferentes textos cifrados para el mismo valor de m .
Véase también
Notas
- ^ Blanchet, B. (2004) Prueba automática de secreto fuerte para protocolos de seguridad. En actas del Simposio IEEE sobre Seguridad y Privacidad, págs. 86-100. https://www.di.ens.fr/~blanchet/publications/BlanchetOakland04.html