Security Protocols 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcolm, James A.; Roe, Michael (Springer Berlin Heidelberg, 2009)