Security protocols. 14th international workshop : Cambridge, UK. 27.- 29. March. 2006, Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcom, James A.; Roe, Michael (Lecture Notes in Computer Science, 2009)