Skip to main content

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