Security protocols : 12th International Workshop, Cambridge, UK, April 26-28, 2004 : revised selected papers - Christianson, Bruce, 1958- (Lecture notes in computer science ;, 2006)