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.
Unique visibility State-of-the-art survey Fast-track conference proceedings
Bruce Christianson
grid computing hash functions information leakage isotropic channels measurable security privacy public keys secure sessions security protocols signatures social networks theorem proving voting systems algorithm analysis and problem complexity