Security Protocols : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers - Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe ((Lecture Notes in Computer Science))