Security protocols : 13th International Workshop, Cambridge, UK, April 20-22, 2005 : revised selected papers - Christianson, Bruce, 1958- (Lecture notes in computer science ;, 2007)