Semantic Security
La sécurité sémantique, introduite par Goldwasser et Micali, signifie qu'un attaquant ne peut calculer à partir du texte chiffré aucun prédicat efficacement calculable du texte en clair ; c'est la formalisation de l'intuition information-théorique de la confidentialité.
Objectif
Elle définit le standard de « non-fuite d'information » de la confidentialité du chiffrement et équivaut à IND-CPA (pour le chiffrement symétrique et à clé publique).
Mécanisme
L'adversaire connaît au préalable la distribution des textes en clair et, après avoir vu le texte chiffré, tente de calculer un prédicat f(m) sans plus d'avantage que sans le texte chiffré, à une quantité négligeable près. Sécurité sémantique ⟺ IND-CPA.
Cas d’usage
- Définitions de sécurité du chiffrement
- Sécurité prouvable
- Formalisation de la confidentialité