Security Protocols XX : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers - Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson ((Lecture Notes in Computer Science))