Security protocols XIX 19th international workshop, Cambridge, UK, March 28 - 30, 2011 ; revised selected papers (Springer, 2011)