000 04228nam a22005655i 4500
001 978-3-540-49135-4
003 DE-He213
005 20160624102040.0
007 cr nn 008mamaa
008 121227s1999 gw | s |||| 0|eng d
020 _a9783540491354
_9978-3-540-49135-4
024 7 _a10.1007/3-540-49135-X
_2doi
050 4 _aQA76.9.A25
072 7 _aURY
_2bicssc
072 7 _aCOM053000
_2bisacsh
082 0 4 _a005.82
_223
245 1 0 _aSecurity Protocols
_h[electronic resource] :
_b6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings /
_cedited by Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1999.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1999.
300 _aVIII, 252 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1550
505 0 _aInductive 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aData encryption (Computer science).
650 0 _aComputer software.
650 0 _aInformation Systems.
650 1 4 _aComputer Science.
650 2 4 _aData Encryption.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aComputer Communication Networks.
650 2 4 _aManagement of Computing and Information Systems.
700 1 _aChristianson, Bruce.
_eeditor.
700 1 _aCrispo, Bruno.
_eeditor.
700 1 _aHarbison, William S.
_eeditor.
700 1 _aRoe, Michael.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540656630
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1550
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-49135-X
942 _2EBK6674
_cEBK
999 _c35968
_d35968