Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2009

Security Protocols

14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers

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. Faculty of Science, Department of Computer Systems, Vrije Universiteit, Amsterdam, The Netherlands

    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

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

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

Conference series link(s): Security Protocols: Cambridge International Workshop on Security Protocols

Conference proceedings info: Security Protocols 2006.

Sections

Buy it now

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

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

Table of contents (38 papers)

  1. Front Matter

    PDF

  2. Putting the Human Back in the Protocol

    • Bruce Christianson
    Pages 1-2

  3. Composing Security Metrics

    • Matt Blaze
    Pages 3-12

  4. Putting the Human Back in Voting Protocols

    • Peter Y. A. Ryan, Thea Peacock
    Pages 13-19

  5. Putting the Human Back in Voting Protocols

    • Peter Y. A. Ryan
    Pages 20-25

  6. Towards a Secure Application-Semantic Aware Policy Enforcement Architecture

    • Srijith K. Nair, Bruno Crispo, Andrew S. Tanenbaum
    Pages 26-31

  8. Phish and Chips

    • Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Steven Murdoch, Ross Anderson et al.
    Pages 40-48

  9. Phish and Chips

    • Mike Bond
    Pages 49-51

  10. Where Next for Formal Methods?

    • James Heather, Kun Wei
    Pages 52-58

  11. Where Next for Formal Methods?

    • James Heather
    Pages 59-61

  12. Cordial Security Protocol Programming

    • Per Harald Myrvang, Tage Stabell-Kulø
    Pages 62-84

  13. Cordial Security Protocol Programming

    • Tage Stabell-Kulø
    Pages 85-96

  14. Privacy-Sensitive Congestion Charging

    • Alastair R. Beresford, Jonathan J. Davies, Robert K. Harle
    Pages 97-104

  15. Privacy-Sensitive Congestion Charging

    • Alastair R. Beresford
    Pages 105-111

  16. The Value of Location Information

    • Dan Cvrcek, Marek Kumpost, Vashek Matyas, George Danezis
    Pages 112-121

  17. The Value of Location Information

    • Vashek Matyas
    Pages 122-127

  18. Update on PIN or Signature

    • Vashek Matyas
    Pages 128-131

  19. Innovations for Grid Security from Trusted Computing

    • Wenbo Mao, Andrew Martin, Hai Jin, Huanguo Zhang
    Pages 132-149
Back to top

Other Volumes

  1. Security Protocols

Back to top

About this book

Welcome back to the International Security Protocols Workshop. Our theme for this, the 14th workshop in the series, is “Putting the Human Back in the Protocol”. We’ve got into the habit of saying “Of course, Alice and Bob aren’t really people. Alice and Bob are actually programs running in some computers.” But we build computer systems in order to enable people to interact in accordance with certain social protocols. So if we’re serious about system services being end-to-end then, at some level of abstraction, the end points Alice and Bob are humanafterall.Thishascertainconsequences.Weexploresomeoftheminthese proceedings, in the hope that this will encourage you to pursue them further. Is Alice talking to the correct stranger? Our thanks to Sidney Sussex College, Cambridge for the use of their faci- ties, and to the University of Hertfordshire for lending us several of their sta?. Particular thanks once again to Lori Klimaszewska of the University of C- bridge Computing Service for transcribing the audio tapes, and to Virgil Gligor for acting as our advisor.
Back to top

Keywords

Back to top

Editors and Affiliations

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

    Bruce Christianson, James A. Malcolm

  • Faculty of Science, Department of Computer Systems, Vrije Universiteit, Amsterdam, The Netherlands

    Bruno Crispo

  • Microsoft Research Ltd., Cambridge, UK

    Michael Roe

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation