Skip to main content
SpringerLink
Log in

Security Protocols

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

  • Conference proceedings
  • © 2009

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. 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)

Included in the following conference series:

Conference proceedings info: Security Protocols 2006.

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 (38 papers)

  1. Front Matter

    Download chapter 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

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

    • Srijith K. Nair
    Pages 32-39

  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

  20. Innovations for Grid Security from Trusted Computing

    • Wenbo Mao
    Pages 150-152
Back to top

Other volumes

  1. Security Protocols

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation