Analysing a Stream Authentication Protocol Using Model Checking
Philippa J. Broadfoot and Gavin Lowe
Book 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