11. Security Protocols Workshop 2003: Cambridge, UK

• Bruce Christianson:
  Where Have All the Protocols Gone? 1-2
  Electronic Edition (link) BibTeX
• Giampaolo Bella, Stefano Bistarelli, Fabio Massacci:
  A Protocol's Life After Attacks.... 3-10
  Electronic Edition (link) BibTeX
• Giampaolo Bella:
  A Protocol's Life After Attacks... (Discussion). 11-18
  Electronic Edition (link) BibTeX
• Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati:
  Towards Flexible Credential Negotiation Protocols. 19-23
  Electronic Edition (link) BibTeX
• Pierangela Samarati:
  Towards Flexible Credential Negotiation Protocols (Discussion). 24-27
  Electronic Edition (link) BibTeX
• N. Asokan, Valtteri Niemi, Kaisa Nyberg:
  Man-in-the-Middle in Tunnelled Authentication Protocols. 28-41
  Electronic Edition (link) BibTeX
• N. Asokan:
  Man-in-the-Middle in Tunnelled Authentication Protocols (Discussion). 42-48
  Electronic Edition (link) BibTeX
• Simon N. Foley, Hongbin Zhou:
  Towards a Framework for Autonomic Security Protocols. 49-54
  Electronic Edition (link) BibTeX
• Simon N. Foley:
  Towards a Framework for Autonomic Security Protocols (Discussion). 55-62
  Electronic Edition (link) BibTeX
• Geraint Price:
  Client v. Server Side Protocols, Interfaces and Storage. 63-73
  Electronic Edition (link) BibTeX
• Geraint Price:
  Client v. Server Side Protocols, Interfaces and Storage (Discussion). 74-79
  Electronic Edition (link) BibTeX
• Virgil D. Gligor:
  Guaranteeing Access in Spite of Distributed Service-Flooding Attacks. 80-96
  Electronic Edition (link) BibTeX
• Virgil D. Gligor:
  Guaranteeing Access in Spite of Distributed Service-Flooding Attacks (Discussion). 97-105
  Electronic Edition (link) BibTeX
• Hassen Saïdi, Victoria Stavridou, Bruno Dutertre:
  Protocol Codesign. 106-113
  Electronic Edition (link) BibTeX
• Victoria Stavridou:
  Protocol Codesign (Discussion). 114-118
  Electronic Edition (link) BibTeX
• Bogdan C. Popescu, Bruno Crispo, Andrew S. Tanenbaum, Maas Zeeman:
  Enforcing Security Policies for Distributed Objects Applications. 119-130
  Electronic Edition (link) BibTeX
• Bogdan C. Popescu:
  Enforcing Security Policies for Distributed Objects Applications (Discussion). 131-133
  Electronic Edition (link) BibTeX
• Mads Dam:
  Regular SPKI. 134-150
  Electronic Edition (link) BibTeX
• Mads Dam:
  Regular SPKI (Discussion). 151-152
  Electronic Edition (link) BibTeX
• Birgit Pfitzmann, Michael Waidner:
  Federated Identity-Management Protocols. 153-174
  Electronic Edition (link) BibTeX
• Birgit Pfitzmann:
  Federated Identity-Management Protocols (Discussion). 175-177
  Electronic Edition (link) BibTeX
• Peter Y. A. Ryan:
  Enforcing the Unenforceable. 178-182
  Electronic Edition (link) BibTeX
• Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson:
  Is the Verification Problem for Cryptographic Protocols Solved?. 183-189
  Electronic Edition (link) BibTeX
• Bruce Christianson, Michael Roe, David Wheeler:
  Secure Sessions from Weak Secrets. 190-205
  Electronic Edition (link) BibTeX
• Bruce Christianson:
  Secure Sessions from Weak Secrets (Discussion). 206-212
  Electronic Edition (link) BibTeX
• Michael Roe:
  Panel Session: Is Protocol Modelling Finished? 213-217
  Electronic Edition (link) BibTeX
• Matt Blaze, John Ioannidis, Angelos D. Keromytis, Tal Malkin, Aviel D. Rubin:
  WAR: Wireless Anonymous Routing. 218-232
  Electronic Edition (link) BibTeX
• Matt Blaze:
  WAR: Wireless Anonymous Routing (Discussion). 233-240
  Electronic Edition (link) BibTeX
• Jari Arkko, Pekka Nikander:
  Limitations of IPsec Policy Mechanisms. 241-251
  Electronic Edition (link) BibTeX
• Jari Arkko:
  Limitations of IPsec Policy Mechanisms (Discussion). 252-254
  Electronic Edition (link) BibTeX
• Colin Boyd, Wenbo Mao, Kenneth G. Paterson:
  Deniable Authenticated Key Establishment for Internet Protocols. 255-271
  Electronic Edition (link) BibTeX
• Wenbo Mao:
  Deniable Authenticated Key Establishment for Internet Protocols (Discussion). 272-273
  Electronic Edition (link) BibTeX
• Mike Burmester, Alec Yasinsac:
  Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks. 274-282
  Electronic Edition (link) BibTeX
• Alec Yasinsac:
  Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks (Discussion). 283-287
  Electronic Edition (link) BibTeX
• Ross J. Anderson:
  What We Can Learn from API Security. 288-300
  Electronic Edition (link) BibTeX
• Kamil Kulesza, Zbigniew Kotulski:
  Addressing New Challenges by Building Security Protocols Around Graphs. 301-306
  Electronic Edition (link) BibTeX
• Brian Monahan:
  From Security Protocols to Systems Security. 307-322
  Electronic Edition (link) BibTeX
• Brian Monahan:
  From Security Protocols to Systems Security (Discussion). 323-323
  Electronic Edition (link) BibTeX
• Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli:
  Biometrics to Enhance Smartcard Security. 324-332
  Electronic Edition (link) BibTeX
• Fabio Martinelli:
  Biometrics to Enhance Smartcard Security (Discussion). 333-335
  Electronic Edition (link) BibTeX
• James A. Malcolm:
  Blind Publication: A Copyright Library without Publication or Trust. 336-340
  Electronic Edition (link) BibTeX
• James A. Malcolm:
  Blind Publication: A Copyright Library Without Publication or Trust (Discussion). 341-349
  Electronic Edition (link) BibTeX