Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers - Degano, Pierpaolo; Guttman, Joshua; Martinelli, Fabio (Springer Berlin Heidelberg, 2009)