| 000 | 01444camuu2200349 a 4500 | |
| 001 | 000000658417 | |
| 005 | 20091204112317 | |
| 008 | 990208s1999 gw a b 101 0 eng | |
| 010 | ▼a 99018462 | |
| 020 | ▼a 3540656634 (pbk. : alk. paper) | |
| 020 | ▼a 9783540656630 (pbk. : alk. paper) | |
| 035 | ▼a (OCoLC)ocm40813387 | |
| 035 | ▼a (OCoLC)40813387 | |
| 040 | ▼a DLC ▼c DLC ▼d YDX ▼d OHX ▼d OCL ▼d 211009 | |
| 042 | ▼a pcc | |
| 050 | 0 0 | ▼a QA76.9.A25 ▼b S45 1999 |
| 072 | 7 | ▼a QA ▼2 lcco |
| 082 | 0 4 | ▼a 005.8 ▼2 22 |
| 090 | ▼a 005.8 ▼b I612s ▼c 6 | |
| 111 | 2 | ▼a International Workshop on Security Protocols ▼n (6th : ▼d 1998 : ▼c Cambridge, England) |
| 245 | 1 0 | ▼a Security protocols : ▼b 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings / ▼c Bruce Christianson ... [et al.] (eds.). |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1999. | |
| 300 | ▼a viii, 239 p. : ▼b ill. ; ▼c 23 cm. | |
| 490 | 1 | ▼a Lecture notes in computer science, ▼x 0302-9743 ; ▼v 1550 |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Computer security ▼v Congresses. |
| 650 | 0 | ▼a Computers ▼x Access control ▼v Congresses. |
| 650 | 0 | ▼a Cryptography ▼v Congresses. |
| 700 | 1 | ▼a Christianson, Bruce. |
| 830 | 0 | ▼a Lecture notes in computer science ; ▼v 1550. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.8 I612s 6 | 등록번호 121042506 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.8 I612s 6 | 등록번호 121187076 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
정보제공 :
목차
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.
정보제공 :