Formal Aspects in Security and Trust