Skip to main content
SpringerLink
Log in
Book cover

Security Protocols XX

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Bruce Christianson

    1. School of Computer Science, University of Hertfordshire, Hatfield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. James Malcolm

    1. Department of Computer Science, University of Hertfordshire, Hatfield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Frank Stajano

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jonathan Anderson

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: Security Protocols 2012.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction: Bringing Protocols to Life (Transcript of Discussion)

    • Bruce Christianson
    Pages 1-2

  3. Secure Internet Voting Protocol for Overseas Military Voters

    • Todd R. Andel, Alec Yasinsac
    Pages 3-14

  4. Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion)

    • Todd R. Andel
    Pages 15-22

  5. Self-enforcing Electronic Voting

    • Feng Hao, Brian Randell, Dylan Clarke
    Pages 23-31

  6. Self-enforcing Electronic Voting (Transcript of Discussion)

    • Feng Hao
    Pages 32-40

  7. Approaches to Modelling Security Scenarios with Domain-Specific Languages

    • Phillip J. Brooke, Richard F. Paige, Christopher Power
    Pages 41-54

  8. Approaches to Modelling Security Scenarios with Domain-Specific Languages(Transcript of Discussion)

    • Phillip J. Brooke
    Pages 55-59

  9. The Casino and the OODA Loop

    • Sandy Clark, Matt Blaze, Jonathan M. Smith
    Pages 60-63

  10. The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion)

    • Matt Blaze
    Pages 64-75

  11. Statistical Metrics for Individual Password Strength

    • Joseph Bonneau
    Pages 76-86

  12. Statistical Metrics for Individual Password Strength (Transcript of Discussion)

    • Joseph Bonneau
    Pages 87-95

  13. Street-Level Trust Semantics for Attribute Authentication

    • Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig
    Pages 96-115

  14. Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion)

    • Virgil Gligor
    Pages 116-125

  15. Analysis of Issues and Challenges of E-Voting in the UK

    • Dylan Clarke, Feng Hao, Brian Randell
    Pages 126-135

  16. Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion)

    • Dylan Clarke
    Pages 136-144

  17. Protocol Governance: The Elite, or the Mob?

    • Ross Anderson
    Pages 145-145

  18. Protocol Governance: The Elite, or the Mob? (Transcript of Discussion)

    • Ross Anderson
    Pages 146-160

  19. Usability Issues in Security

    • Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka
    Pages 161-171

  20. Usability Issues in Security (Transcript of Discussion)

    • Yuko Murayama
    Pages 172-180
Back to top

Other volumes

  1. Security Protocols XX

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation