Security protocols 12th international workshop, Cambridge, UK, April 26-28, 2004 : revised selected papers / - Christianson, Bruce. (Lecture notes in computer science,)