Security protocols: 5th International Workshop Paris, France, April 7-9, 1997, Proceedings - Christianson, Bruce (Lectures notes in computer science, 1998)