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