Skip to main content
  • Conference proceedings
  • © 2012

Security Protocols XX

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

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): Security Protocols: Cambridge International Workshop on Security Protocols

Conference proceedings info: Security Protocols 2012.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

Other Volumes

  1. Security Protocols XX

About this book

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

Editors and Affiliations

  • School of Computer Science, University of Hertfordshire, Hatfield, UK

    Bruce Christianson

  • Department of Computer Science, University of Hertfordshire, Hatfield, UK

    James Malcolm

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Frank Stajano, Jonathan Anderson

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access