Title: Formal Aspects in Security and Trust
Subjects: Computer security, Computer science, Trust