Title: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Subjects: Computer networks, Data encryption (Computer science), Computer science, Software engineering, Computer software, Formal methods (Computer science), Congresses, Computer security, Cryptography, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity, Computers and Society, Computer Communication Networks, Data Encryption