Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Theodosis Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve A. Schneider Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers 3866 2006 3-540-32628-6 Formal Aspects in Security and Trust Lecture Notes in Computer Science Springer db/conf/ifip1-7/fast2005.html