Formal Aspects in Security and Trust · Study