1
Formal Aspects in Security and Trust [E-Book] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /