Formal Aspects of Security and Trust - Degano, Pierpaolo (Springer Berlin Heidelberg, 2011)