Security Protocols

1. Front Matter

   Pages I-IX

   PDF

2. Keynote Address: Mobile Computing versus Immobile Security

   • Roger Needham

   Pages 1-3

3. Experiences of Mobile IP Security

   • Michael Roe

   Pages 4-11

4. Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World

   • Pekka Nikander

   Pages 12-21

5. Denial of sService, Address Ownership, and Early Authentication in the IPv6 World

   • Pekka Nikander

   Pages 22-26

6. Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols

   • William Aiello, Steven M. Bellovin, Matt Blaze, Ran Canetti, John Ioannidis, Angelos D. Keromytis et al.

   Pages 27-39

7. Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols

   • Matt Blaze

   Pages 40-48

8. Thwarting Timing Attacks Using ATM Networks

   • Geraint Price

   Pages 49-58

9. Thwarting Timing Attacks Using ATM Networks

   • Geraint Price

   Pages 59-62

10. Towards a Survivable Security Architecture for Ad-Hoc Networks

    • Tuomas Aura, Silja Mäki

    Pages 63-73

11. Towards a Survivable Security Architecture for Ad-Hoc Networks

    • Silja Mäki

    Pages 74-79

12. PIM Security

    • Dieter Gollmann

    Pages 80-81

13. PIM Security

    • Dieter Gollmann

    Pages 82-86

14. Merkle Puzzles Revisited — Finding Matching Elements between Lists

    • Bruce Christianson, David Wheeler

    Pages 87-90

15. Merkle Puzzles Revisited

    • Bruce Christianson

    Pages 91-94

16. Encapsulating Rules of Prudent Security Engineering

    • Jan Jürjens

    Pages 95-101

17. Encapsulating Rules of Prudent Security Engineering

    • Jan Jürjens

    Pages 102-106

18. A Multi-OS Approach to Trusted Computer Systems

    • Hiroshi Yoshiura, Kunihiko Miyazaki, Shinji Itoh, Kazuo Takaragi, Ryoichi Sasaki

    Pages 107-114

19. A Multi-OS Approach to Trusted Computer Systems

    • Hiroshi Yoshiura

    Pages 115-118

20. A Proof of Non-repudiation

    • Giampaolo Bella, Lawrence C. Paulson

    Pages 119-125

Hello and welcome. These are the proceedings of the 9th International Workshop on Security Protocols, the ?rst to be held in the new millennium. This year our theme was “mobile computing versus immobile security”. As usual, the insights and challenges which emerged during the workshop are re?ected in the position papers, which appear here in rewritten form. Transcripts are also included of the discussions which took place in C- bridge as the initial versions were presented. These transcripts are intended to provide a perspective on lines of argument which are worth pursuing further. Our desire is that you will join with us in this activity, and that as a result you will, like many of our participants, feel moved to propound something quite di?erent from what you originally planned. Our thanks as always to Prof. Roger Needham, FRS and to Microsoft - search Ltd. (Cambridge) for the use of the meeting room and co?ee machine. Thanks also to Lori Klimaszewska of the University of Cambridge Computing Service for transcribing the audio tapes (and for revealing in “Audrey James” a previously unsuspected double life of a well-known double agent), and to Dr. Mary Buchanan for her assistance in editing the transcripts into a Thucydidean mould. Actually, we are often asked how we go about producing the transcripts, especially upon those occasions when, for various reasons, no audio recording was made. This year we bow to pressure and reveal the details of our methodology in the Afterword.

• Anonymity
• Authentication
• Bluetooth
• Data Security
• Denial of Service
• IPv6
• Information Security
• Internet
• Internet Security
• Network Security
• Secure Networking
• architecture
• networks
• security
• trust
• algorithm analysis and problem complexity

• Department of Computer Science Faculty of Engineering and Information Sciences, University of Hertfordshire, Hatfield, UK

  Bruce Christianson, James A. Malcolm

• Department of Computer Science, Vrije Universiteit, HV Amsterdam, The Netherlands

  Bruno Crispo

• Microsoft Research Limited, Cambridge, UK

  Michael Roe

Policies and ethics