Title: Formal Aspects in Security and Trust
Subjects: Information Systems, Computer science, Information storage and retrieval systems, Computer networks, Data protection, Data encryption (Computer science), Computer security, Formal methods (Computer science), Trust, Congresses