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
Summary
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Security Protocols held in Cambridge, UK in April 1998. The 15 revised papers presented as position statements are followed by transcripts of the discussions between the authors and the audience. Also included is a report on the final panel discussion on future directions in security protocols research and developments. Thus the volume reflects the lively interaction at the workshop. The papers are devoted to the interrelations between trust and delegation, exploring the implications and effects of these upon such issues as authorization, security policy, and cryptosystems and component design
Member of
Cataloging source
COO
Dewey number
005.8
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A25
LC item number
S45 1999
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
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
  • Computer security
  • Computers
  • Cryptography
  • Gegevens
  • Databanken
  • Cryptografie
  • Beveiliging
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
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Inductive Analysis of the Internet Protocol TLS -- Inductive Analysis of the Internet Protocol TLS -- External Consistency and the Verification of Security Protocols -- External Consistency and the Verification of Security Protocols -- The Trust Shell Game -- The Trust Shell Game -- Overview of the AT & T Labs Trust-Management Project -- Overview of the AT & T Labs Trust-Management Project -- KeyNote: Trust Management for Public-Key Infrastructures -- Discussion Session -- Trust Management -- Application-Oriented Security Policies and Their Composition -- Application-Oriented Security Policies and Their Composition -- Secure Fingerprinting Using Public-Key Cryptography -- Secure Fingerprinting Using Public-Key Cryptography -- Third Party Certification of HTTP Service Access Statistics -- Third Party Certification of HTTP Service Access Statistics -- Delegating Trust -- Delegation of Responsibilities -- Delegation of Responsibility -- Abuse of Process -- A New Concept in Protocols: Verifiable Computational Delegation -- A New Concept in Protocols: Verifiable Computational Delegation -- Delegation and Not-So Smart Cards -- Delegation and Not-So Smart Cards -- Certification and Delegation -- Discussion Session: Differences Between Academic and Commercial Security -- Optimistic Trust with Realistic eNvestigators -- Optimistic Trust with Realistic Investigators -- Insider Fraud -- Insider Fraud -- Panel Session -- Future Directions
Control code
45644564
Dimensions
unknown
Extent
1 online resource (viii, 239 pages)
Form of item
online
Isbn
9783540491354
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-49135-X
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)45644564
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
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Inductive Analysis of the Internet Protocol TLS -- Inductive Analysis of the Internet Protocol TLS -- External Consistency and the Verification of Security Protocols -- External Consistency and the Verification of Security Protocols -- The Trust Shell Game -- The Trust Shell Game -- Overview of the AT & T Labs Trust-Management Project -- Overview of the AT & T Labs Trust-Management Project -- KeyNote: Trust Management for Public-Key Infrastructures -- Discussion Session -- Trust Management -- Application-Oriented Security Policies and Their Composition -- Application-Oriented Security Policies and Their Composition -- Secure Fingerprinting Using Public-Key Cryptography -- Secure Fingerprinting Using Public-Key Cryptography -- Third Party Certification of HTTP Service Access Statistics -- Third Party Certification of HTTP Service Access Statistics -- Delegating Trust -- Delegation of Responsibilities -- Delegation of Responsibility -- Abuse of Process -- A New Concept in Protocols: Verifiable Computational Delegation -- A New Concept in Protocols: Verifiable Computational Delegation -- Delegation and Not-So Smart Cards -- Delegation and Not-So Smart Cards -- Certification and Delegation -- Discussion Session: Differences Between Academic and Commercial Security -- Optimistic Trust with Realistic eNvestigators -- Optimistic Trust with Realistic Investigators -- Insider Fraud -- Insider Fraud -- Panel Session -- Future Directions
Control code
45644564
Dimensions
unknown
Extent
1 online resource (viii, 239 pages)
Form of item
online
Isbn
9783540491354
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-49135-X
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)45644564

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...