Skip to main content
SpringerLink
Log in

Security Protocols

15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Bruce Christianson

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bruno Crispo

    1. University of Trento, Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. James A. Malcolm

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Roe

    1. Microsoft Research Ltd.,, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • State-of-the-art survey
  • Fast-track conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: Security Protocols 2007.

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 54.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 (30 papers)

  1. Front Matter

    Download chapter PDF

  2. When Is a Protocol Broken? (Transcript of Discussion)

    • Bruce Christianson
    Pages 1-2

  3. Measurable Security through Isotropic Channels

    • Micah Sherr, Eric Cronin, Matt Blaze
    Pages 3-12

  4. Measurable Security through Isotropic Channels (Transcript of Discussion)

    • Micah Sherr
    Pages 13-19

  5. Modeling Partial Attacks with Alloy

    • Amerson Lin, Mike Bond, Jolyon Clulow
    Pages 20-33

  6. Modeling Partial Attacks with Alloy (Transcript of Discussion)

    • Amerson Lin
    Pages 34-36

  7. Resiliency Aspects of Security Protocols

    • Marcus C. Granado
    Pages 37-57

  8. Privacy Amplification with Social Networks

    • Shishir Nagaraja
    Pages 58-73

  9. Privacy Amplification with Social Networks (Transcript of Discussion)

    • Shishir Nagaraja
    Pages 74-80

  10. Reconciling Multiple IPsec and Firewall Policies

    • Tuomas Aura, Moritz Becker, Michael Roe, Piotr ZieliÅ„ski
    Pages 81-97

  11. Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion)

    • Michael Roe
    Pages 98-103

  12. Anchor-Less Secure Session Mobility

    • Alf Zugenmaier, Julien Laganier, Anand Prasad, Kristian Slavov
    Pages 104-109

  13. Anchor-Less Secure Session Mobility (Transcript of Discussion)

    • Alf Zugenmaier
    Pages 110-113

  14. A Model for System-Based Analysis of Voting Systems

    • Thomas Tjøstheim, Thea Peacock, Peter Y. A. Ryan
    Pages 114-130

  15. A Model for System-Based Analysis of Voting Systems (Transcript of Discussion)

    • Thomas Tjøstheim
    Pages 131-132

  16. Multi-Channel Key Agreement Using Encrypted Public Key Exchange

    • Bruce Christianson, Jun Li
    Pages 133-138

  17. Multi-Channel Key Agreement Using Encrypted Public Key Exchange (Transcript of Discussion)

    • Bruce Christianson
    Pages 139-146

  18. On the Security of the EMV Secure Messaging API (Extended Abstract)

    • Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Ross Anderson, Ronald L. Rivest
    Pages 147-149

  19. On the Security of the EMV Secure Messaging API (Transcript of Discussion)

    • Jolyon Clulow
    Pages 150-151

  20. Distributed Double Spending Prevention

    • Jaap-Henk Hoepman
    Pages 152-165
Back to top

Other volumes

  1. Security Protocols

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Security Protocols, held in Brno, Czech Republic, in April 2007. The 15 revised full papers presented together with edited transcriptions of some of the discussions following the presentations have passed through multiple rounds of reviewing, revision, and selection. The topics addressed reflect the question "When is a Protocol Broken?" and how can it degrade gracefully in the face of partially broken assumptions, or how can it work under un(der)specified assumptions.

Editors and Affiliations

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

    Bruce Christianson, James A. Malcolm

  • University of Trento, Trento, Italy

    Bruno Crispo

  • Microsoft Research Ltd.,, Cambridge, UK

    Michael Roe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation