Formal Aspects in Security and Trust door Theo Dimitrakos