Security and Cryptology

Security Protocols

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

Editors: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (Eds.)

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

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-17773-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-17772-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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.

Table of contents (30 chapters)

  • When Is a Protocol Broken? (Transcript of Discussion)

    Christianson, Bruce

    Pages 1-2

  • Measurable Security through Isotropic Channels

    Sherr, Micah (et al.)

    Pages 3-12

  • Measurable Security through Isotropic Channels (Transcript of Discussion)

    Sherr, Micah

    Pages 13-19

  • Modeling Partial Attacks with Alloy

    Lin, Amerson (et al.)

    Pages 20-33

  • Modeling Partial Attacks with Alloy (Transcript of Discussion)

    Lin, Amerson

    Pages 34-36

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-17773-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-17772-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Security Protocols
Book Subtitle
15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers
Editors
  • Bruce Christianson
  • Bruno Crispo
  • James A. Malcolm
  • Michael Roe
Series Title
Security and Cryptology
Series Volume
5964
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-17773-6
DOI
10.1007/978-3-642-17773-6
Softcover ISBN
978-3-642-17772-9
Edition Number
1
Number of Pages
VIII, 257
Number of Illustrations and Tables
29 b/w illustrations, 16 illustrations in colour
Topics