Proving Authentication Properties in the Protocol Derivation Assistant
Matthias Anlauff‚ Dusko Pavlovic‚ Richard Waldinger and Stephen Westfold
Book Title
Proceedings of FCS−ARSPA 2006
Editor
Pierpaolo Degano and Ralph Küsters and Luca Vigano
Publisher
ACM
Year
2006