Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers - Christianson, Bruce; Malcolm, James A.; Matyáš, Vashek; Roe, Michael (Springer Berlin Heidelberg : Imprint: Springer, 2013)