Security Protocols XX

20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers

  • Bruce Christianson
  • James Malcolm
  • Frank Stajano
  • Jonathan Anderson
Conference proceedings Security Protocols 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7622)

Table of contents

  1. Front Matter
  2. Todd R. Andel, Alec Yasinsac
    Pages 3-14
  3. Feng Hao, Brian Randell, Dylan Clarke
    Pages 23-31
  4. Phillip J. Brooke, Richard F. Paige, Christopher Power
    Pages 41-54
  5. Sandy Clark, Matt Blaze, Jonathan M. Smith
    Pages 60-63
  6. Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig
    Pages 96-115
  7. Dylan Clarke, Feng Hao, Brian Randell
    Pages 126-135
  8. Ross Anderson
    Pages 145-145
  9. Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka
    Pages 161-171
  10. Eyüp S. Canlar, Mauro Conti, Bruno Crispo, Roberto Di Pietro
    Pages 199-213
  11. Jonathan Anderson, Robert N. M. Watson
    Pages 242-250
  12. Paul Syverson
    Pages 259-266
  13. Back Matter

About these proceedings


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".


electronic voting systems information theory privacy security user survey

Editors and affiliations

  • Bruce Christianson
    • 1
  • James Malcolm
    • 2
  • Frank Stajano
    • 3
  • Jonathan Anderson
    • 3
  1. 1.School of Computer ScienceUniversity of HertfordshireHatfieldUK
  2. 2.Department of Computer ScienceUniversity of HertfordshireHatfieldUK
  3. 3.Computer LaboratoryUniversity of CambridgeCambridgeUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-35693-3
  • Online ISBN 978-3-642-35694-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences