Welcome to the Proceedings of the 13th International Security Protocols Wo- shop. As usual, our meeting in Cambridge was just the beginning. After that, position papers were revised (often more than once) and transcripts were c- culated, discussed, and edited several times: our intention was not to produce a sterile record of who said what, but to share some promising lines of enquiry into interesting problems. Now we bring these proceedings to a wider audience so that you can join in. Our theme this time was “The systemlikes youandwants to be yourfriend.” Security is usually seen as making systems more di?cult for humans to use. Might there be advantages to looking at security in the context of more general design problems? Perhaps those investigating the general properties of system design and those of us in the security community have more to say to each other than we thought. Our thanks to Sidney Sussex CollegeCambridgefor the use of their facilities, and to the University of Hertfordshire for lending us several of their sta?. Particular thanks to Johanna Hunt of the University of Hertfordshire for being our impresario and organizing everything, and to Lori Klimaszewska of the University of CambridgeComputing Service for transcribing the audio tapes (in which the “crash barriers” nearly prevented collisions). The Security Protocols Workshop exists because you, the audience, part- ipate. Once you have dived into these proceedings and have had some Eleatic thoughts, we expect to hear from you.

Keywords

Bibliographic Information

Book Title: Security Protocols
Book Subtitle: 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers
Editors: Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-77156-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-77155-5Published: 30 November 2007
eBook ISBN: 978-3-540-77156-2Published: 15 November 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 350
Topics: Cryptology, Computer Communication Networks, Algorithm Analysis and Problem Complexity, Management of Computing and Information Systems, Computers and Society, Systems and Data Security

Publish with us

Policies and ethics

Editors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (44 papers)

Front Matter

Other Volumes

Security Protocols

About this book