Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers - Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua (Springer Berlin Heidelberg : Imprint: Springer, 2011)