2.2. Authenticated Decryption (Déchiffrement authentifié)

2.2. Authenticated Decryption (Déchiffrement authentifié)

L'opération de déchiffrement authentifié a quatre entrées: K, N, A et C, comme défini ci-dessus. Elle n'a qu'une seule sortie, soit une valeur de texte en clair P, soit un symbole spécial FAIL indiquant que les entrées ne sont pas authentiques. Un texte chiffré C, un nonce N et des données associées A sont authentiques pour la clé K lorsque C est produit par l'opération de chiffrement avec les entrées K, N, P et A, pour certaines valeurs de N, P et A. L'opération de déchiffrement authentifié renverra, avec forte probabilité, FAIL lorsque les entrées N, P et A ont été forgées par un adversaire respectant les nonces (nonce-respecting adversary) qui ne connaît pas la clé secrète (en supposant que l'algorithme AEAD est sûr).