Bruce Christianson Bruno Crispo James A. Malcolm Michael Roe Security Protocols, 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers Security Protocols Workshop Lecture Notes in Computer Science 3957 Springer 2006 3-540-40925-4 db/conf/spw/spw2004.html