Security Protocols XVIII 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers - Christianson, Bruce; Malcolm, James (Springer Berlin Heidelberg : Imprint: Springer, 2014)