Deriving ephemeral authentication using channel axioms
Dusko Pavlovic and Catherine Meadows
Book Title
Proceedings of the Cambridge Workshop on Security Protocols 2009
Editor
Bruce Christianson
Note
to appear
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Year
2010