You are about to access our book library "Security Protocols: 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers (Lecture Notes in Computer Science, 3957) full version" .