Security protocols 10th international workshop, Cambridge, UK, April 17-19, 2002 : revised papers / - Christianson, Bruce. (Lecture notes in computer science ;)