Proceedings : 14th IEEE Computer Security Foundations Workshop, 11-13 June 2001, Cape Breton, Novia Scotia, Canada

所蔵情報QRコード

Proceedings : 14th IEEE Computer Security Foundations Workshop, 11-13 June 2001, Cape Breton, Novia Scotia, Canada / sponsored by IEEE Computer Society Technical Committee on Security and Privacy

資料種別:

図書

出版情報:

Los Alamitos, Calif. : IEEE Computer Society, c2001

形態:

viii, 307 p. ; 28 cm

著者名:

ISBN:

9780769511474 [0769511473] (: case)
9780769511467 [0769511465] (: pbk)

書誌ID:

BA52946188

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

14th IEEE Computer Security Foundations Workshop 2001
CSFW-14
PR01146

注記:

"IEEE Computer Society Order Number PR01146" -- T. p. verso
"CSFW-14" -- on lining paper
Includes bibliographical references and index

主題:

Computer security--Congresses

言語:

英語

目次情報:

Preface

Workshop Committee

Non-interference and Information Flow

Noninterference Equations for Nondeterministic Systems / S. Pinsky ; E. Zieglar

Robust Declassification / S. Zdancewic ; A. Myers

Access Control

A State-Transition Model of Trust Management and Access Control / A. Chander ; D. Dean ; J. Mitchell

Revocations--A Classification / A. Hagstrom ; S. Jajodia ; F. Parisi-Presicce ; D. Wijesekera

A Logical Reconstruction of SPKI / J. Halpern ; R. van der Meyden

Protocols I

A Security Analysis of the Cliques Protocols Suites / O. Pereira ; J.-J. Quisquater

An Efficient Cryptographic Protocol Verifier Based on Prolog Rules / B. Blanchet

Proving Secrecy is Easy Enough / V. Cortier ; J. Millen ; H. Ruess

Panel

Relating Cryptography and Cryptographic Protocols / A. Scedrov (Moderator) ; R. Canetti ; J. Guttman ; D. Wagner ; M. Waidner

Information Flow and Multi-threading

A New Type System for Secure Information Flow / G. Smith

A Generic Approach to the Security of Multi-threaded Programs / H. Mantel ; A. Sabelfeld

Protocols II

Authenticity by Typing for Security Protocols / A. Gordon ; A. Jeffrey

Computing Symbolic Models for Verifying Cryptographic Protocols / M. Fiore ; M. Abadi

Protocol Insecurity with Finite Number of Sessions is NP-Complete / M. Rusinowitch ; M. Turuani

Intrusion Tolerance and Detection

Multi-phase Damage Confinement in Database Systems for Intrusion Tolerance / P. Liu

Markov Chains, Classifiers, and Intrusion Detection / S. Jha ; K. Tan ; R. Maxion

Log Auditing through Model-Checking / M. Roger ; J. Goubault-Larrecq

Non-interference: Who Needs It? / P. Ryan (Moderator) ; J. McLean ; V. Gligor

Logics for Protocol Verification

A Compositional Logic for Protocol Correctness / N. Durgin ; D. Pavlovic

Logical Relations for Encryption / E. Sumii ; B. Pierce

Secrecy and Privacy

Privacy-Preserving Cooperative Scientific Computations / W. Du ; M. Atallah

Confined Mobile Functions / Z. Kirli

Confidentiality-Preserving Refinement / M. Heisel ; A. Pfitzmann ; T. Santen

Author Index

Preface

Workshop Committee

Non-interference and Information Flow

Noninterference Equations for Nondeterministic Systems / S. Pinsky ; E. Zieglar

Robust Declassification / S. Zdancewic ; A. Myers

Access Control

続きを見る

東工大ブックレビュー

類似資料:

1 図書 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	7 図書 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
2 図書 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	8 図書 Proceedings of the 12th IEEE Computer Security Foundations Workshop, June 28-30, 1999, Mordano, Italy (: case ; : paper ; : microfiche) Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society
3 図書 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	9 図書 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
4 図書 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	10 図書 Proceedings : Computer Security Foundations Workshop, CSFW 7, June 14-16, 1994, Franconia, New Hampshire (: paper ; : microfiche) Computer Security Foundations Workshop, IEEE Computer Society IEEE Computer Society Press
5 図書 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	11 図書 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
6 図書 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	12 図書 Information security and privacy : 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001 : proceedings ACISP, Varadharajan, Vijay, Mu, Yi Springer