An encapsulated authentication logic for reasoning about key distribution protocols
Iliano Cervesato, Catherine Meadows and Dusko Pavlovic infobook title | Proceedings of CSFW 2005 |
editor | Joshua Guttman |
pages | 48—61 |
publisher | IEEE |
year | 2005 |
links
BibTeX
Link (pdf)
related pages
|
