
Security Protocols
7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings
Springer (Publisher)
Published on 12. April 2000
Book
Paperback/Softback
XII, 232 pages
978-3-540-67381-1 (ISBN)
Description
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.
More details
Series
Edition
2000 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XII, 232 p.
Dimensions
Height: 233 mm
Width: 155 mm
Thickness: 14 mm
Weight
373 gr
ISBN-13
978-3-540-67381-1 (9783540673811)
DOI
10.1007/10720107
Schweitzer Classification
Other editions
Additional editions

Bruce Christianson | Bruno Crispo | James A. Malcolm
Security Protocols
7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings
E-Book
12/2006
Springer
€53.49
Available for download
Content
Keynote Address: The Changing Environment.- Composing Security Properties.- Auditing against Multiple Policies.- Jikzi: A New Framework for Secure Publishing.- Jikzi: A New Framework for Secure Publishing.- Power and Permission in Security Systems.- Power and Permission in Computer Systems.- Auditing against Impossible Abstractions.- What is Authentication?.- Relations Between Secrets: The Yahalom Protocol.- The Yahalom Protocol.- Modelling Agents' Knowledge Inductively.- Modelling Agents' Knowledge Inductively.- Time-Lock Puzzle with Examinable Evidence of Unlocking Time.- Time-Lock Puzzle with Examinable Evidence of Unlocking Time.- Trust Management and Network Layer Security Protocols.- Trust Management and Network Layer Security Protocols.- Issues in Multicast Security.- Issues in Multicast Security.- Performance of Protocols.- Performance of Protocols.- Integrity-Aware PCBC Encryption Schemes.- Integrity-Aware PCBC Encryption Schemes.- The Resurrecting Duckling: Security Issues for Ad-hoc Wireless Networks.- The Resurrecting Duckling.- INTERNET-MARKs: Clear, Secure, and Portable Visual Marks for the Cyber Worlds.- INTERNET-MARKs.- Pictures Can't Lie under Oath.- Pictures Can't Lie under Oath.- Bob versus Bob - Good Guy/Bad Guy.