Analysing a Stream Authentication Protocol Using Model Checking
Philippa J. Broadfoot and Gavin Lowe infobook title | Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings |
editor | Dieter Gollmann and Günter Karjoth and Michael Waidner |
isbn | 3-540-44345-2 |
pages | 146-161 |
publisher | Springer |
series | Lecture Notes in Computer Science |
volume | 2502 |
year | 2002 |
links
BibTeX
related pages
|
