Formal aspects in security and trust third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers - Dimitrakos, Theo (Lecture notes in computer science, 2006)