Deriving secrecy properties in key establishment protocols
Dusko Pavlovic and Catherine Meadows infobook title | Proceedings of ESORICS 2006 |
editor | Dieter Gollmann and Andrei Sabelfeld |
publisher | Springer Verlag |
series | Lecture Notes in Computer Science |
volume | 4189 |
year | 2006 |
links
BibTeX
Link (pdf)
related pages
|
