Security Protocols : 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers - Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe ((Lecture Notes in Computer Science))