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

DOI: 10.1007/978-3-642-35694-0

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

Table of contents (29 papers)

  1. Front Matter
  2. Secure Internet Voting Protocol for Overseas Military Voters
    Todd R. Andel, Alec Yasinsac
    Pages 3-14
  3. Self-enforcing Electronic Voting
    Feng Hao, Brian Randell, Dylan Clarke
    Pages 23-31
  4. Approaches to Modelling Security Scenarios with Domain-Specific Languages
    Phillip J. Brooke, Richard F. Paige, Christopher Power
    Pages 41-54
  5. The Casino and the OODA Loop
    Sandy Clark, Matt Blaze, Jonathan M. Smith
    Pages 60-63
  6. Street-Level Trust Semantics for Attribute Authentication
    Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig
    Pages 96-115
  7. Analysis of Issues and Challenges of E-Voting in the UK
    Dylan Clarke, Feng Hao, Brian Randell
    Pages 126-135
  8. Protocol Governance: The Elite, or the Mob?
    Ross Anderson
    Pages 145-145
  9. Usability Issues in Security
    Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka
    Pages 161-171

About these proceedings

Introduction

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

Keywords

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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35693-3
  • Online ISBN 978-3-642-35694-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349