Sécurité sémantique
L'exigence qu'un texte chiffré ne révèle rien de son texte clair, et pas seulement que la clé soit difficile à deviner.
Shafi Goldwasser et Silvio Micali ont formalisé la notion en 1982, dans leurs travaux sur le chiffrement probabiliste. Un schéma est sémantiquement sûr si un adversaire n'apprend rien du texte clair à partir du chiffré, au-delà de ce qu'il aurait pu deviner de toute façon, même en choisissant des textes clairs et en voyant leurs chiffrements. Conséquence directe : un chiffrement déterministe ne peut jamais satisfaire ce critère, puisque le même clair donne toujours le même chiffré.
ECB échoue exactement pour cette raison, comme le montre l'image du pingouin. IV et nonces aléatoires sont la façon habituelle de répondre à l'exigence dans les modes modernes.