Bruce Christianson Bruno Crispo William S. Harbison Michael Roe Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings Security Protocols Workshop Lecture Notes in Computer Science 1550 Springer 1999 3-540-65663-4 db/conf/spw/spw1998.html