Formal Aspects in Security and Trust by Theo Dimitrakos