Security protocols 11th international workshop, Cambridge, UK, April 2-4, 2003 : revised selected papers / - Christianson, Bruce. (Lecture notes in computer science,)