You are about to access our book library "Security Protocols: 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers (Lecture Notes in Computer Science, 5964) full version" .