Security Protocols XVII : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers - Bruce Christianson, James A. Malcolm, Vashek Matyá., Michael Roe ((Lecture Notes in Computer Science))