Title: Formal aspects in security and trust
Subjects: Formal methods (Computer science), Trust, Congresses, Computer security