15th IEEE Computer Security Foundations Workshop, CSFW-15. 24-26 June, 2002, Cape Breton, Nova Scotia, Canada : proceedings / sponsored by the IEEE Computer Society Technical Committee on Security and Privacy.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Technical Committee on Security and Privacy.

Conference Name:

Computer Security Foundations Workshop (15th : 2002 : Cape Breton, N.S. : County)

Language:

English

Subjects (All):

Computer security--Congresses.

Computer security.

Genre:

Conference papers and proceedings.

Physical Description:

viii, 331 pages : illustrations

Other Title:

Fifteenth IEEE Computer Security Foundations Workshop

CSFW-15

Computer Security Foundations Workshop, 2002, proceedings, 15th IEEE.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [2002]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Information Flow I

Approximate Non-Interference / A. Di Pierro, C. Hankin, H. Wiklicky 3

Quantifying Information Flow / G. Lowe 18

Secrecy in Multiagent Systems / J. Halpern, K. O'Neill 32

Intrusion

Two Formal Analyses of Attack Graphs / S. Jha, O. Sheyner, J. Wing 49

Formal Specification of Intrusion Signatures and Detection Rules / J.-P. Pouzol, M. Ducasse 64

Protocols I

Types and Effects for Asymmetric Cryptographic Protocols / A. D. Gordon, A. Jeffrey 77

Security Protocol Design via Authentication Tests / J. D. Guttman 92

Strand Spaces and Rank Functions: More Than Distant Cousins / J. Heather 104

Applications of Model-Checking

Probabilistic Analysis of Anonymity / V. Shmatikov 119

Analysis of SPKI/SDSI Certificates Using Model Checking / S. Jha, T. Reps 129

Protocols II

Capturing Parallel Attacks within the Data Independence Framework / P. J. Broadfoot, A. W. Roscoe 147

Polynomial Fairness and Liveness / M. Backes, B. Pfitzmann, M. Steiner, M. Waidner 160

A Formal Analysis of Some Properties of Kerberos 5 Using MSR / F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov 175

Games

A Formal Analysis of Syverson's Rational Exchange Protocol / L. Buttyan, J.-P. Hubaux, S. Capkun 193

Game Analysis of Abuse-Free Contract Signing / S. Kremer, J.-F. Raskin 206

Language-Based Security

Fine-Grained Information Flow Analysis for a [lambda]-Calculus with Sum Types / V. Simonet 223

Cryptographic Types / D. Duggan 238

Secure Information Flow and Pointer Confinement in a Java-Like Language / A. Banerjee, D. A. Naumann 253

Distributed Rights, Access Control, and Watermarking

A Privacy Policy Model for Enterprises / G. Karjoth, M. Schunter 271

A Logic for Reasoning about Digital Rights / R. Pucella, V. Weissman 282

Hiding Functions and Computational Security of Image Watermarking Systems / N. Tran 295

Information Flow II

Information Flow Security in Dynamic Contexts / R. Focardi, S. Rossi 307

A Simple View of Type-Secure Information Flow in the [pi]-Calculus / F. Pottier 320.

Notes:

"IEEE Computer Society order number PR01689"--T.p. verso.

Includes bibliographical references and index.

ISBN:

0769516912

9780769516912

0769516890

9780769516899

OCLC:

50297089

Access Restriction:

Restricted for use by site license.