Security Protocols 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcolm, James A.; Roe, Michael (Springer Berlin Heidelberg : Imprint: Springer, 2006)