Formal Aspects in Security and Trust - Dimitrakos, Theo; Martinelli, F.; Martinelli, Fabio (Springer US, 2005)