Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers - Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider ((Lecture Notes in Computer Science))