Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers - Degano, Pierpaolo; Guttman, Joshua D. (Springer Berlin Heidelberg, 2010)