Coverart for item
The Resource Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings, Bruce Christianson [and others] (eds.)

Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings, Bruce Christianson [and others] (eds.)

Label
Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings
Title
Security protocols
Title remainder
6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings
Statement of responsibility
Bruce Christianson [and others] (eds.)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.8
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A25
LC item number
S45 1999
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorDate
1998
http://library.link/vocab/relatedWorkOrContributorName
  • Christianson, Bruce
  • International Workshop on Security Protocols
Series statement
Lecture notes in computer science,
Series volume
1550
http://library.link/vocab/subjectName
  • Computer security
  • Computers
  • Cryptography
Label
Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings, Bruce Christianson [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson -- External Consistency and the Verification of Security Protocols / Simon N. Foley -- The Trust Shell Game / Carl Ellison -- Overview of the AT&T Labs Trust-Management Project / Joan Feigenbaum -- KeyNote: Trust Management for Public-Key Infrastructures / Matt Blaze, Joan Feigenbaum and Angelos D. Keromytis -- Discussion: Trust Management -- Application-Oriented Security Policies and Their Composition / Virgil D. Gligor and Serban I. Gavrila -- Secure Fingerprinting Using Public-Key Cryptography / Hiroshi Yoshiura, Ryoichi Sasaki and Kazuo Takaragi -- Third Party Certification of HTTP Service Access Statistics / Francesco Bergadano and Pancrazio De Mauro -- Delegating Trust / William S. Harbison -- Delegation of Responsibility / Bruno Crispo -- Abuse of Process / Mark Lomas -- A New Concept in Protocols: Verifiable Computational Delegation / Peter Landrock -- Delegation and Not-So Smart Cards / Bruce Christianson and James A. Malcolm -- Certification and Delegation / Michael Roe -- Discussion -- Differences Between Academic and Commercial Security / Virgil Gligor, Peter Landrock and Mark Lomas -- Optimistic Trust with Realistic eNvestigators / Raphael Yahalom -- Insider Fraud / Dieter Gollmann -- Panel Session -- Future Directions / Stewart Lee, Joan Feigenbaum and Virgil Gligor
Control code
40813387
Dimensions
23 cm
Extent
viii, 239 pages
Isbn
9783540656630
Isbn Type
(softcover : alk. paper)
Lccn
99018462
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings, Bruce Christianson [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson -- External Consistency and the Verification of Security Protocols / Simon N. Foley -- The Trust Shell Game / Carl Ellison -- Overview of the AT&T Labs Trust-Management Project / Joan Feigenbaum -- KeyNote: Trust Management for Public-Key Infrastructures / Matt Blaze, Joan Feigenbaum and Angelos D. Keromytis -- Discussion: Trust Management -- Application-Oriented Security Policies and Their Composition / Virgil D. Gligor and Serban I. Gavrila -- Secure Fingerprinting Using Public-Key Cryptography / Hiroshi Yoshiura, Ryoichi Sasaki and Kazuo Takaragi -- Third Party Certification of HTTP Service Access Statistics / Francesco Bergadano and Pancrazio De Mauro -- Delegating Trust / William S. Harbison -- Delegation of Responsibility / Bruno Crispo -- Abuse of Process / Mark Lomas -- A New Concept in Protocols: Verifiable Computational Delegation / Peter Landrock -- Delegation and Not-So Smart Cards / Bruce Christianson and James A. Malcolm -- Certification and Delegation / Michael Roe -- Discussion -- Differences Between Academic and Commercial Security / Virgil Gligor, Peter Landrock and Mark Lomas -- Optimistic Trust with Realistic eNvestigators / Raphael Yahalom -- Insider Fraud / Dieter Gollmann -- Panel Session -- Future Directions / Stewart Lee, Joan Feigenbaum and Virgil Gligor
Control code
40813387
Dimensions
23 cm
Extent
viii, 239 pages
Isbn
9783540656630
Isbn Type
(softcover : alk. paper)
Lccn
99018462
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...