6. Security Protocols Workshop 1998: Cambridge, UK

Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (Eds.): Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings. Lecture Notes in Computer Science 1550 Springer 1999, ISBN 3-540-65663-4 BibTeX

@proceedings{DBLP:conf/spw/1998,
  editor    = {Bruce Christianson and
               Bruno Crispo and
               William S. Harbison and
               Michael Roe},
  title     = {Security Protocols, 6th International Workshop, Cambridge, UK,
               April 15-17, 1998, Proceedings},
  booktitle = {Security Protocols Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1550},
  year      = {1999},
  isbn      = {3-540-65663-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Lawrence C. Paulson:
Inductive Analysis of the Internet Protocol TLS (Position Paper). 1-12
Electronic Edition (Springer LINK) BibTeX
Lawrence C. Paulson:
Inductive Analysis of the Internet Protocol TLS (Transcript of Discussion). 13-23
Electronic Edition (Springer LINK) BibTeX
Simon N. Foley:
External Consistency and the Verification of Security Protocols (Position Paper). 24-27
Electronic Edition (Springer LINK) BibTeX
Simon N. Foley:
External Consistency and the Verification of Security Protocols (Transcript of Discussion). 28-35
Electronic Edition (Springer LINK) BibTeX
Carl M. Ellison:
The Trust Shell Game (Position Paper). 36-40
Electronic Edition (Springer LINK) BibTeX
Carl M. Ellison:
The Trust Shell Game (Transcript of Discussion). 41-44
Electronic Edition (Springer LINK) BibTeX
Joan Feigenbaum:
Overview of the AT&T Labs Trust-Management Project (Position Paper). 45-50
Electronic Edition (Springer LINK) BibTeX
Joan Feigenbaum:
Overview of the AT&T Labs Trust-Management Project (Transcript of Discussion). 51-58
Electronic Edition (Springer LINK) BibTeX
Matt Blaze, Joan Feigenbaum, Angelos D. Keromytis:
KeyNote: Trust Management for Public-Key Infrastructures (Position Paper). 59-63
Electronic Edition (Springer LINK) BibTeX
Discussion Session - Trust Management. 64-63
Electronic Edition (Springer LINK) BibTeX
Virgil D. Gligor, Serban I. Gavrila:
Application-Oriented Security Policies and Their Composition (Position Paper). 67-74
Electronic Edition (Springer LINK) BibTeX
Virgil D. Gligor:
Application-Oriented Security Policies and Their Composition (Transcript of Discussion). 75-82
Electronic Edition (Springer LINK) BibTeX
Hiroshi Yoshiura, Ryôichi Sasaki, Kazuo Takaragi:
Secure Fingerprinting Using Public-Key Cryptography (Position Paper). 83-89
Electronic Edition (Springer LINK) BibTeX
Ryôichi Sasaki:
Secure Fingerprinting Using Public-Key Cryptography (Transcript of Discussion). 90-94
Electronic Edition (Springer LINK) BibTeX
Francesco Bergadano, P. De Mauro:
Third Party Certification of HTTP Service Access Statistics (Position Paper). 95-99
Electronic Edition (Springer LINK) BibTeX
Francesco Bergadano:
Third Party Certification of HTTP Service Access Statistics (Transcript of Discussion). 100-107
Electronic Edition (Springer LINK) BibTeX
William S. Harbison:
Delegating Trust (Transcript of Discussion). 108-117
Electronic Edition (Springer LINK) BibTeX
Bruno Crispo:
Delegation of Responsibility (Position Paper). 118-124
Electronic Edition (Springer LINK) BibTeX
Bruno Crispo:
Delegation of Responsibility (Transcript of Discussion). 125-130
Electronic Edition (Springer LINK) BibTeX
T. Mark A. Lomas:
Abuse of Process (Transcript of Discussion). 131-136
Electronic Edition (Springer LINK) BibTeX
Peter Landrock:
A New Concept in Protocols: Verifiable Computational Delegation (Position Paper). 137-145
Electronic Edition (Springer LINK) BibTeX
Peter Landrock:
A New Concept in Protocols: Verifiable Computational Delegation (Transcript of Discussion). 146-153
Electronic Edition (Springer LINK) BibTeX
Bruce Christianson, James A. Malcolm:
Delegation and Not-So Smart Cards (Position Paper). 154-157
Electronic Edition (Springer LINK) BibTeX
Bruce Christianson:
Delegation and Not-So Smart Card (Transcript of Discussion). 158-167
Electronic Edition (Springer LINK) BibTeX
Michael Roe:
Certification and Delegation (Transcript of Discussion). 168-176
Electronic Edition (Springer LINK) BibTeX
Virgil D. Gligor, Peter Landrock, T. Mark A. Lomas, Raphael Yahalom, John P. Warne:
Discussion Session: Differences Between Academic and Commercial Security. 177-192
Electronic Edition (Springer LINK) BibTeX
Raphael Yahalom:
Optimistic Trust with Realistic eNvestigators (Position Paper). 193-202
Electronic Edition (Springer LINK) BibTeX
Raphael Yahalom:
Optimistic Trust with Realistic eNvestigators (Transcript of Discussion). 203-212
Electronic Edition (Springer LINK) BibTeX
Dieter Gollmann:
Insider Fraud (Position Paper). 213-219
Electronic Edition (Springer LINK) BibTeX
Dieter Gollmann:
Insider Fraud (Transcript of Discussion). 220-226
Electronic Edition (Springer LINK) BibTeX
Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson:
Panel Session - Future Directions. 227-239
Electronic Edition (Springer LINK) BibTeX