Proceedings of the 12th IEEE Computer Security Foundations Workshop, June 28-30, 1999, Mordano, Italy

>> Google Books

所蔵情報QRコード

Proceedings of the 12th IEEE Computer Security Foundations Workshop, June 28-30, 1999, Mordano, Italy / sponsored by the IEEE Computer Society Technical Committee on Security and Privacy

資料種別:

図書

出版情報:

Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999

形態:

viii, 239 p. ; 28 cm

著者名:

ISBN:

9780769502021 [0769502024] (: case)
9780769502014 [0769502016] (: paper)
9780769502038 [0769502032] (: microfiche)

書誌ID:

BA45853043

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

1999 Computer Security Foundations Workshop (CSFW 12)
PR00201

ISSN:

10636900

注記:

Includes bibliographical references and index
"IEEE Computer Society order number : PR00201"

主題:

Computer security--Congresses

言語:

英語

目次情報:

Preface

Workshop Committee

Welcome

Formal Models

A Formal Framework and Evaluation Method for Network Denial of Service / C. Meadows

I/O Automaton Models and Proofs for Shared-Key Communication Systems / N. Lynch

Security Protocol Analysis: Notation, Transformation, and Simplification

Safe Simplifying Transformations for Security Protocols / M. Hui ; G. Lowe

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief / D. Monniaux

A Meta-Notation for Protocol Analysis / I. Cervesato ; N. Durgin ; P. Lincoln ; J. Mitchell ; A. Scedrov

Strand Spaces

Mixed Strand Spaces / F. Thayer ; J. Herzog ; J. Guttman

Honest Functions and their Application to the Analysis of Cryptographic Protocols / A. Maneki

Panel: Formalization and Proof of Secrecy Properties / D. Volpano ; M. Abadi ; R. Focardi ; J. Millen

Formalization and Proof of Secrecy Properties

Local Names

Authentication via Localized Names / C. Bodei ; P. Degano ; C. Priami

A Logic for SDSI's Linked Local Name Spaces / J. Halpern ; R. van der Meyden

Interaction and Composition

Trusted System Construction / C. O'Halloran

Secure Composition of Insecure Components / P. Sewell ; J. Vitek

Security Function Interactions / P. Bieber

Logics for Authorization and Access Control

A Logic-based Knowledge Representation for Authorization with Delegation / N. Li ; J. Feigenbaum ; B. Grosof

A Logical Framework for Reasoning on Data Access Control Policies / E. Bertino ; F. Buccafurri ; E. Ferrari ; P. Rullo

Advances in Automated Security Protocol Analysis

Athena: A New Efficient Automatic Checker for Security Protocol Analysis / D. Song

CVS: A Compiler for the Analysis of Cryptographic Protocols / A. Durante ; R. Gorrieri

Noninterference Using Process Algebras

Process Algebra and Non-Interference / P. Ryan ; S. Schneider

What Is Intransitive Noninterference? / A. Roscoe ; M. Goldsmith

Index of Authors

Preface

Workshop Committee

Welcome

Formal Models

A Formal Framework and Evaluation Method for Network Denial of Service / C. Meadows

I/O Automaton Models and Proofs for Shared-Key Communication Systems / N. Lynch

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Proceedings : 17th IEEE Computer Security Foundations Workshop, Pacific Grove, California, June 28-30, 2004 Computer Security Foundations Workshop, IEEE Computer Society, IEEE Computer Society. Technical Committee on Security … IEEE Computer Society	7 図書 Proceedings : 15th IEEE Computer Security Foundations Workshop, CSFW-15, 24-26 June 2002, Cape Breton, Nova Scotia, Canada (: microfiche) Computer Security Foundations Workshop, IEEE Computer Society, IEEE Computer Society. Technical Committee on Security … IEEE Computer Society
2 図書 Proceedings : 16th IEEE Computer Security Foundations Workshop, CSFW-16, 30 June-2 July 2003, Pacific Grove, California Computer Security Foundations Workshop, IEEE Computer Society, IEEE Computer Society. Technical Committee on Security … IEEE Computer Society	8 図書 Proceedings : 14th IEEE Computer Security Foundations Workshop, 11-13 June 2001, Cape Breton, Novia Scotia, Canada (: case ; : pbk) Computer Security Foundations Workshop, IEEE Computer Society, IEEE Computer Society. Technical Committee on Security … IEEE Computer Society
3 図書 Proceedings : 9th IEEE Computer Security Foundations Workshop, June 10-12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland Computer Security Foundations Workshop, IEEE Computer Society. Technical Committee on Security and Privacy IEEE Computer Society Press	9 図書 Proceedings : 13th IEEE Computer Security Foundations Workshop, CSFW-13, July 3-5, 2000, Cambridge, England (: case ; : microfiche) Computer Security Foundations Workshop, IEEE Computer Society, IEEE Computer Society. Technical Committee on Security … IEEE Computer Society
4 図書 Proceedings : 10th Computer Security Foundations Workshop, Rockport, Massachusetts, June 10-12, 1997 (: paper ; : microfiche ; : case) Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society	10 図書 Proceedings : the Eighth IEEE Computer Security Foundations Workshop, June 13-15, 1995, Dromquinna Manor, Kenmare, County Kerry, Ireland Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society Press
5 図書 Proceedings : 11th IEEE Computer Security Foundations Workshop, June 9-11, 1998, Rockport, Massachusetts (: paper ; : microfiche) Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society	11 図書 Proceedings : the Computer Security Foundations Workshop IV, June 18-20, 1991, the Franconia Inn, Franconia, New Hampshire (: paper ; : micro. ; : case) Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society Press
6 図書 Proceedings : 18th IEEE Computer Security Foundations Workshop, June 20-22, 2005, Aix-en-Provence, France Computer Security Foundations Workshop, IEEE Computer Society, IEEE Computer Society. Technical Committee on Security … IEEE Computer Society	12 図書 Computer Security Foundations Workshop VI : proceedings : Franconia, New Hampshire, June 15-17, 1993 (: paper ; : microfiche) Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society Press