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