Security Protocols : 8th International Workshops Cambridge, UK, April 3-5, 2000 Revised Papers - Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe ((Lecture Notes in Computer Science))