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