Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Pierpaolo Degano Joshua D. Guttman Fabio Martinelli Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers 5491 2009 http://dx.doi.org/10.1007/978-3-642-01465-9 Formal Aspects in Security and Trust Lecture Notes in Computer Science Springer db/conf/ifip1-7/fast2008.html