Security Protocols XVI 16th international workshop, Cambridge, UK, April 16-18, 2008 : revised selected papers / - Christianson, Bruce. (Springer, 2011)