Secreto fuerte es un término utilizado en la criptografía formal basada en pruebas para hacer propuestas 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 estricto:
Por ejemplo, si un proceso encripta un mensaje, un atacante puede diferenciar entre diferentes mensajes, ya que sus textos cifrados serán diferentes. Así m no es un secreto fuerte. Sin embargo, si se usara el cifrado probabilístico , m sería un secreto fuerte. La aleatoriedad incorporada en el algoritmo de cifrado producirá diferentes textos cifrados para el mismo valor de m .