This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Security Protocols, SP 2008, held in Cambridge, UK, in April 2008. The 17 revised full papers presented together with edited transcriptions of some of the discussions following the presentations have gone through multiple rounds of reviewing, revision, and selection. The theme of this workshop was "Remodelling the Attacker" with the intention to tell the students at the start of a security course that it is very important to model the attacker, but like most advice to the young, this is an...

This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Workshop on Security Protocols, held in Cambridge, UK, in April 2012. 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."

This book constitutes the thoroughly refereed post-workshop proceedings of the 18th International Workshop on Security Protocols, held in Cambridge, UK, in March 2010. After an introduction the volume presents 16 revised papers and one abstract, each followed by a revised transcript of the discussion ensuing the presentation at the event. The theme of this year's workshop was "Virtually Perfect Security."

After several days of desperate searching by the birds, rabbits, and termites, Queen Amy and her lost comrades had finally been found, but there was no time to waste celebrating their recovery. The black queen had set an ambush along the fence line, and there were fears that Austin, Queen Ivy, and the freedom fighters might have traveled toward the field on their way back to Isoptera in an attempt to get Forest Green's army back under the control of their queen.

After several days of desperate searching by the birds, rabbits, and termites, Queen Amy and her lost comrades had finally been found, but there was no time to waste celebrating their recovery. The black queen had set an ambush along the fence line, and there were fears that Austin, Queen Ivy, and the freedom fighters might have traveled toward the field on their way back to Isoptera in an attempt to get Forest Green's army back under the control of their queen.