Formal Aspects in Security and Trust Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers - Dimitrakos, Theo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve (Springer Berlin Heidelberg, 2006)