Security Protocols : 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings - Bruce Christianson, Bruno Crispo, Mark Lomas, Michael Roe ((Lecture Notes in Computer Science))