Formal Aspects in Security and Trust - Degano, Pierpaolo (Springer Berlin Heidelberg, 2010)