Security protocols : 6th International Workshop, Cambridge, UK, April 15-17, 1998 : proceedings

>> Google Books

所蔵情報QRコード

Security protocols : 6th International Workshop, Cambridge, UK, April 15-17, 1998 : proceedings / Bruce Christianson ... [et al.] (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c1999

形態:

viii, 239 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1550 <BA00009279>

著者名:

ISBN:

9783540656630 [3540656634]

書誌ID:

BA40452555

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computer security--Congresses; Computers--Access control--Congresses; Cryptography--Congresses

言語:

英語

目次情報:

Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson

Discussion

External Consistency and the Veri cation 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 ; Angelos D. Keromytis

Discussion - Trust Management

Application-Oriented Security Policies and Their Composition / Virgil D. Gligor ; Serban I. Gavrila

Secure Fingerprinting Using Public-Key Cryptography / Hiroshi Yoshiura ; Ryoichi Sasaki ; Kazuo Takaragi

Third Party Certi cation of HTTP Service Access Statistics / Francesco Bergadano ; Pancrazio De Mauro

Delegating Trust / William S. Harbison (Discussion)

Delegation of Responsibility / Bruno Crispo

Abuse of Process / Mark Lomas (Discussion)

A New Concept in Protocols: Veri able Computational Delegation / Peter Landrock

Delegation and Not-So Smart Cards / Bruce Christianson ; James A. Malcolm

Certi cation and Delegation / Michael Roe (Discussion)

Discussion - Di erences Between Academic and Commercial Security / Virgil Gligor ; Mark Lomas ; Raphael Yahalom ; John Warne

Optimistic Trust with Realistic eNvestigators

Insider Fraud / Dieter Gollmann

Panel Session - Future Directions / Stewart Lee ; Roger Needham

Contributor Index

Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson

Discussion

External Consistency and the Veri cation 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 ; Angelos D. Keromytis

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Security protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999 : proceedings International Workshop on Security Protocols, Christianson, Bruce Springer	7 図書 Security protocols : International Workshop, Cambridge, United Kingdom, April 10-12, 1996, proceedings Lomas, Mark Springer
2 図書 Security protocols : 10th International Workshop, Cambridge, UK, April 17-19, 2002 : revised papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer	8 図書 Information security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : proceedings ISC, Boyd, Colin, Mao, Wenbo Springer
3 図書 Security protocols : 9th International Workshop, Cambridge, UK, April 25-27, 2001 : revised papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer	9 図書 Cryptographic hardware and embedded systems - CHES 2004 : 6th International Workshop, Cambridge, MA, USA, August 11-13, 2004 : proceedings CHES, Joye, Marc, Quisquater, J.-J. (Jean-Jacques), 1945- Springer
4 図書 Security protocols : 11th International Workshop Cambridge, UK, April 2-4, 2003 : revised selected papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer	10 図書 Information security : First International Workshop, ISW '97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997 : proceedings (: pbk) ISW, Okamoto, Eiji, Davida, George, 満保, 雅浩(1966-) Springer
5 図書 Security protocols : 8th International Workshop, Cambridge, UK, April 3-5, 2000 : revised papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer	11 図書 Information security : second International Workshop, ISW '99, Kuala Lumpur, Malaysia, November 6-7, 1999 : proceedings ISW, 満保, 雅浩(1966-), Zheng, Yuliang Springer
6 図書 Security protocols : 5th International Workshop, Paris, France, April 7-9, 1997 : proceedings International Workshop on Security Protocols, Christianson, Bruce Springer	12 図書 Recent advances in intrusion detection : 7th International Symposium, RAID 2004, Sophia Antipolis, France, September 15-17, 2004 : proceedings RAID, Jonsson, Erland, Valdes, Alfonso, Almgren, Magnus Springer