DocumentCode
2079074
Title
Decidability of Trace Equivalence for Protocols with Nonces
Author
Chretien, Remy ; Cortier, Veronique ; Delaune, Stephanie
fYear
2015
fDate
13-17 July 2015
Firstpage
170
Lastpage
184
Abstract
Privacy properties such as anonymity, unlink ability, 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 nonce´s. Our class encompasses most symmetric key protocols of the literature, in their tagged variant.
Keywords
Algebra; Encryption; Privacy; Protocols; Standards; privacy-like properties; security protocols; trace equivalence;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Symposium (CSF), 2015 IEEE 28th
Conference_Location
Verona, Italy
Type
conf
DOI
10.1109/CSF.2015.19
Filename
7243732
Link To Document