Deriving secrecy properties in key establishment protocols

Bibliographic Details
Main Authors: Pavlovic, D, Meadows, C
Format: Conference item
Published: Springer Verlag 2006