Security Protocols 9th International Workshop, Cambridge, UK, April 25-27, 2001 Revised Papers - Christianson, Bruce; Christianson, Bruce; Crispo, Bruno; Crispo, Bruno; Malcolm, James A.; Malcolm, James A.; Roe, Michael; Roe, Michael (Springer Berlin Heidelberg : Imprint: Springer, 2002)