Title: Formal Aspects of Security and Trust
Subjects: Information Systems, Computer science, Information storage and retrieval systems, Computer networks, Data protection, Data encryption (Computer science), Computer security, Cryptography, Trust, Formal methods (Computer science), Congresses, Information retrieval, Information organization, Management of Computing and Information Systems, Computers and Society, Systems and Data Security, Data Encryption, Computer Communication Networks