Deriving secrecy properties in key establishment protocols
Dusko Pavlovic and Catherine Meadows
Book Title
Proceedings of ESORICS 2006
Editor
Dieter Gollmann and Andrei Sabelfeld
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
4189
Year
2006