Security protocols : 12th international workshop, Cambridge, UK, April 26-28, 2004. revised selected papers - Christianson, Bruce (Lecture notes in computer science, 2006)