Security Protocols 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcolm, James A.; Roe, Michael (Springer Berlin Heidelberg, 2007)