Security protocols XX 20th international workshop, Cambridge, UK, April 12-13, 2012 : revised selected papers / - Christianson, Bruce. (Springer,, 2012)