Decidability of trace equivalence for protocols with nonces
Résumé
Privacy properties such as anonymity, unlinkability, or vote secrecy are typically expressed as equivalence properties.
In this paper, we provide the first decidability result for trace equivalence of security protocols, for an unbounded number of sessions and unlimited fresh nonces. Our class encompasses most symmetric key protocols of the literature, in their tagged variant.
Domaines
Cryptographie et sécurité [cs.CR]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...