Skip to main content
SpringerLink
Log in

Security Protocols

7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Bruce Christianson

    1. Computer Science Department, University of Hertfordshire,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bruno Crispo

    1. Computer Systems Group, Vrije Universiteit, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. James A. Malcolm

    1. Georgia Institute of Technology, Atlanta

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Roe

    1. Microsoft Research, 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 1796)

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

  1. Front Matter

    Download chapter PDF

  2. Keynote Address: The Changing Environment

    • Roger Needham
    Pages 1-5

  3. Composing Security Properties

    • Stewart Lee
    Pages 6-14

  4. Auditing against Multiple Policies

    • Mark Lomas
    Pages 15-20

  5. Jikzi: A New Framework for Secure Publishing

    • Ross Anderson, Jong-Hyeon Lee
    Pages 21-36

  6. Jikzi: A New Framework for Secure Publishing

    • Ross Anderson
    Pages 37-47

  7. Power and Permission in Security Systems

    • Babak Sadighi Firozabadi, Marek Sergot
    Pages 48-53

  8. Power and Permission in Computer Systems

    • Babak Sadighi Firozabadi
    Pages 54-59

  9. Auditing against Impossible Abstractions

    • Bruce Christianson
    Pages 60-64

  10. What is Authentication?

    • Dieter Gollmann
    Pages 65-72

  11. Relations Between Secrets: The Yahalom Protocol

    • Lawrence C. Paulson
    Pages 73-77

  12. The Yahalom Protocol

    • Lawrence C. Paulson
    Pages 78-84

  13. Modelling Agents’ Knowledge Inductively

    • Giampaolo Bella
    Pages 85-90

  14. Modelling Agents’ Knowledge Inductively

    • Giampaulo Bella
    Pages 91-94

  15. Time-Lock Puzzle with Examinable Evidence of Unlocking Time

    • Wenbo Mao
    Pages 95-97

  16. Time-Lock Puzzle with Examinable Evidence of Unlocking Time

    • Wenbo Mao
    Pages 98-102

  17. Trust Management and Network Layer Security Protocols

    • Matt Blaze, John Ioannidis, Angelos D. Keromytis
    Pages 103-108

  18. Trust Management and Network Layer Security Protocols

    • Matt Blaze
    Pages 109-118

  19. Issues in Multicast Security

    • Francesco Bergadano, Davide Cavagnino, Bruno Crispo
    Pages 119-131

  20. Issues in Multicast Security

    • Francesco Bergadano
    Pages 132-139
Back to top

Keywords

About this book

Another year, another workshop. Here are the proceedings of the seventh Cambridge International Workshop on Security Protocols. All very well, you may think, but can there really still be anything genuinely new to say? Is it not just the same old things a tiny bit better? Well, perhaps surprisingly, this year we discoveredsome radically new things beginning to happen. The reasons in retrospect are not far to seek: advances in technology, changes in the system context, and new types of consumer devices and applications have combined to expose new security requirements. This has led not only to new protocols and models, but also to known protocols being deployedindelicate newways,withpreviousfragilitiesofwatermarkingand- tual authentication, for example, becoming desirable features. At the workshop we identi?ed several of these developments and began to map out some lines of enquiry. This volume brings you a selection of deliberately disputatious position - pers, followed by not-quite-verbatim transcripts of the discussions which they provoked. As always, our purpose in making these proceedings available to you is the hope that they will move your thinking in an unexpected direction. If you ?nd your attention caught by something here, if it makes you pause to re?ect, or to think “why, that is justso wrong”,then good. We’re waiting for your mail.

Editors and Affiliations

  • Computer Science Department, University of Hertfordshire,  

    Bruce Christianson

  • Computer Systems Group, Vrije Universiteit, Amsterdam, The Netherlands

    Bruno Crispo

  • Georgia Institute of Technology, Atlanta

    James A. Malcolm

  • Microsoft Research, Cambridge, UK

    Michael Roe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation