Philippa J. Broadfoot, Gavin Lowe. Analysing a Stream Authentication Protocol Using Model Checking. In Dieter Gollmann, Günter Karjoth, Michael Waidner, editors, Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings. Volume 2502 of Lecture Notes in Computer Science, pages 146-161, Springer, 2002. [doi]
Abstract is missing.