Analysing a Stream Authentication Protocol Using Model Checking
Philippa J. Broadfoot and Gavin Lowe
Details
| 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 |
Links
Related pages
|
People |