Security protocols : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers - Crispo, Bruno; Roe, Michael; Malcolm, James A.; Christianson, Bruce (Lecture Notes in Computer Science,, 2007)