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