Security protocols : 9th International Workshop, Cambridge, UK, April 25.-27., 2001 : revised papers - Christianson, Bruce, 1958- (Lecture notes in computer science ;, 2002)