Security Protocols : 9th International Workshop, Cambridge, UK, April 25-27, 2001 Revised Papers - Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe ((Lecture Notes in Computer Science))