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,)