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. (Lecture Notes in Computer Science,, 2010)