Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcolm, James A.; Roe, Michael (Springer Berlin Heidelberg, 2005)