Formal Aspects in Security and Trust - Dimitrakos, Theo (Springer Berlin Heidelberg, 2007)