Title Page

null

Preface (PDF)

pp. vii

Workshop Committees (PDF)

pp. viii

Protocols I

A Theory of Dictionary Attacks and its Complexity (Abstract)

St?phanie Delaune, France Télécom R&D, France

Florent Jacquemard, INRIA, France

pp. 2

PDF

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols (Abstract)

Olivier Pereira, UCL Crypto Group, Belgium

Jean-Jacques Quisquater, UCL Crypto Group, Belgium

pp. 16

PDF

Abstraction and Refinement in Protocol Derivation (Abstract)

Anupam Datta, Stanford University, CA

Ante Derek, Stanford University, CA

John C. Mitchell, Stanford University, CA

Dusko Pavlovic, Kestrel Institute, Palo Alto, CA

pp. 30

PDF

Access Control

A Distributed Calculus for R?le-Based Access Control (Abstract)

Chiara Braghin, Univ. Ca' Foscari di Venezia

Daniele Gorla, Univ. di Firenze, Univ. di Roma 'La Sapienza'

Vladimiro Sassone, University of Sussex

pp. 48

PDF

From Stack Inspection to Access Control: A Security Analysis for Libraries (Abstract)

Fr?d?ric Besson, Microsoft Research

Tomasz Blanc, INRIA Rocquencourt

C?dric Fournet, Microsoft Research

Andrew D. Gordon, Microsoft Research

pp. 61

PDF

Intrusion Detection

Selecting Appropriate Counter-Measures in an Intrusion Detection Framework (Abstract)

Fr?d?ric Cuppens, GET/ENST-Bretagne, France

Sylvain Gombault, GET/ENST-Bretagne, France

Thierry Sans, GET/ENST-Bretagne, France

pp. 78

PDF

Using Active Learning in Intrusion Detection (Abstract)

Magnus Almgren, Chalmers University of Technology, Sweden

Erland Jonsson, Chalmers University of Technology, Sweden

pp. 88

PDF

Information Flow

Secure Information Flow by Self-Composition (Abstract)

Gilles Barthe, INRIA Sophia-Antipolis, France

Pedro R. D'Argenio, Universit? de Provence, France

Tamara Rezk, INRIA Sophia-Antipolis, France

pp. 100

PDF

Lenient Array Operations for Practical Secure Information Flow (Abstract)

Zhenyue Deng, Florida International University, Miami

Geoffrey Smith, Florida International University, Miami

pp. 115

PDF

Security Policies

Owned Policies for Information Security (Abstract)

Hubie Chen, Cornell University, Ithaca, NY

Stephen Chong, Cornell University, Ithaca, NY

pp. 126

PDF

Cassandra: Flexible Trust Management, Applied to Electronic Health Records (Abstract)

Moritz Y. Becker, University of Cambridge, UK

Peter Sewell, University of Cambridge, UK

pp. 139

PDF

The Consistency of Task-Based Authorization Constraints in Workflow Systems (Abstract)

Kaijun Tan, University of Pennsylvania

Jason Crampton, University of London

Carl A. Gunter, University of Pennsylvania

pp. 155

PDF

Declassification and Information Flow

Enforcing Robust Declassification (Abstract)

Andrew C. Myers, Cornell University

Andrei Sabelfeld, Chalmers University of Technology

Steve Zdancewic, University of Pennsylvania

pp. 172

PDF

Modelling Downgrading in Information Flow Security (Abstract)

Annalisa Bossi, Universit? Ca' Foscari di Venezia

Carla Piazza, Universit? Ca' Foscari di Venezia

Sabina Rossi, Universit? Ca' Foscari di Venezia

pp. 187

PDF

Formal Methods and Cryptography

Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library (Abstract)

Michael Backes, IBM Zurich Research Lab

Birgit Pfitzmann, IBM Zurich Research Lab

pp. 204

PDF

Universally Composable Signature, Certification, and Authentication (Abstract)

Ran Canetti, IBM T.J. Watson Research Center

pp. 219

PDF

Panel: Formal Methods and Cryptography

null

Authorization

By Reason and Authority: A System for Authorization of Proof-Carrying Code (Abstract)

Nathan Whitehead, University of California, Santa Cruz

Mart? Abadi, University of California, Santa Cruz

George Necula, University of California, Berkeley

pp. 236

PDF

A Formal Foundation for XrML (Abstract)

Joseph Y. Halpern, Cornell University, Ithaca, NY

Vicky Weissman, Cornell University, Ithaca, NY

pp. 251

PDF

Protocols II

Formal Analysis of Multi-Party Contract Signing (Abstract)

Rohit Chadha, University of Sussex

Steve Kremer, Universit? Libre de Bruxelles

Andre Scedrov, University of Pennsylvania

pp. 266

PDF

Symbolic Model Checking the Knowledge of the Dining Cryptographers (Abstract)

Ron van der Meyden, University of New South Wales, Australia

Kaile Su, Zhongshan University, China

pp. 280

PDF

Author Index (PDF)

pp. 292