Security Protocols : 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings - Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe ((Lecture Notes in Computer Science))