Security Protocols XX 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers - Christianson, Bruce; Malcolm, James; Stajano, Frank; Anderson, Jonathan (Springer Berlin Heidelberg : Imprint: Springer, 2012)