Deriving secrecy properties in key establishment protocols
Dusko Pavlovic and Catherine Meadows
Details
| 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 |
Links
Related pages
|
People |