Security protocols 15th international workshop, Brno, Czech Republic, April 18-20, 2007. revised selected papers - Christianson, Bruce (Lecture Notes in Computer Science,, 2010)