Title: Security Protocols XX
Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Workshop on Security Protocols, held in Cambridge, UK, in April 2012.<br>Following the tradition of this workshop series, each paper war revised by the authors to incorporate ideas from the workshop, and is followed in these proceedings by an edited transcription of the presentation and ensuing discussion. The volume contains 14 papers with their transcriptions as well as an introduction, i.e. 29 contributions in total. The theme of the workshop was "Bringing protocols to life".
Subjects: Information Systems, Computers and Society, Algorithm Analysis and Problem Complexity, Computer Communication Networks, Data Encryption, Data encryption (Computer science), Management of Computing and Information Systems, Information Systems Applications (incl. Internet), Computer software, Computer science, Computer security, Congresses, Computer networks, Access control