Skip to main content

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