Foundations and applications of security analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers - Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England); Degano, Pierpaolo; Vigano, Luca.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer security -- congresses; Formal methods (Computer science) -- Congresses; Cryptography -- Congresses; Coding and Information Theory; Computer Communication Networks; Computer Science; Data Encryption; Data Structures, Cryptology and Information Theory; Algorithm Analysis and Problem Complexity; Computer Systems Organization and Communication Networks