CSDL - Proceedings C

PDF

Workshop Committee (PDF)

pp. viii

PDF

Information Flow

Probabilistic Noninterference through Weak Probabilistic Bisimulation (Abstract)

Geoffrey Smith, Florida International University

pp. 3

PDF

Secure Contexts for Confidential Data (Abstract)

Annalisa Bossi, Università Caé Foscari di Venezia

Damiano Macedonio, Università Caé Foscari di Venezia

Carla Piazza, Università Caé Foscari di Venezia

Sabina Rossi, Università Caé Foscari di Venezia

pp. 14

PDF

Observational Determinism for Concurrent Program Security (Abstract)

Steve Zdancewic, University of Pennsylvania

Andrew C. Myers, Cornell University

pp. 29

PDF

Protocols I

Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation (Abstract)

Jonathan Millen, SRI International

Vitaly Shmatikov, SRI International

pp. 47

PDF

A Procedure for Verifying Security Against Type Confusion Attacks (Abstract)

Catherine Meadows, Naval Research Laboratory

pp. 62

PDF

Logics for Anonymity and Distributed System Security

Anonymity and Information Hiding in Multiagent Systems (Abstract)

Joseph Y. Halpern, Cornell University

Kevin R. O?Neill, Cornell University

pp. 75

PDF

Understanding SPKI/SDSI Using First-Order Logic (Abstract)

Ninghui Li, Stanford University

John C. Mitchell, Stanford University

pp. 89

PDF

Panel 1

Free Term Algebras for Protocol Analysis: What Are They Missing?

Protocols II

A Derivation System for Security Protocols and its Logical Formalization (Abstract)

Anupam Datta, Stanford University

Ante Derek, Stanford University

John C. Mitchell, Stanford University

Dusko Pavlovic, Kestrel Institute

pp. 109

PDF

Automatic Validation of Protocol Narration (Abstract)

C. Bodei, Università di Pisa

M. Buchholtz, Technical University of Denmark

P. Degano, Università di Pisa

F. Nielson, Technical University of Denmark

H. Riis Nielson, Technical University of Denmark

pp. 126

PDF

On Distributed Security Transactions that Use Secure Transport Protocols (Abstract)

Philippa Broadfoot, Oxford University

Gavin Lowe, Oxford University

pp. 141

PDF

Access Control & Information Flow

Using Access Control for Secure Information Flow in a Java-like Language (Abstract)

Anindya Banerjee, Kansas State University

David A. Naumann, Stevens Institute of Technology

pp. 155

PDF

Type-Based Distributed Access Control (Abstract)

Tom Chothia, Stevens Institute of Technology

Dominic Duggan, Stevens Institute of Technology

Jan Vitek, Purdue University

pp. 170

PDF

Authorization and Security Policies

Using First-Order Logic to Reason about Policies (Abstract)

Joseph Y. Halpern, Cornell University

Vicky Weissman, Cornell University

pp. 187

PDF

On Generalized Authorization Problems (Abstract)

S. Schwoon, Universität Stuttgart

S. Jha, University of Wisconsin

T. Reps, University of Wisconsin

S. Stubblebine, Stubblebine Research Labs

pp. 202

PDF

Computational Analysis of Security Protocols

Identity Based Authenticated Key Agreement Protocols from Pairings (Abstract)

Liqun Chen, Hewlett-Packard Laboratories

Caroline Kudla, University of London

pp. 219

PDF

The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model (Abstract)

Jonathan C. Herzog, The MITRE Corporation

pp. 234

PDF

A Computational Analysis of the Needham-Schröeder-(Lowe) Protocol (Abstract)

Bogdan Warinschi, University of California at San Diego

pp. 248

PDF

Panel 2

A Tribute to Professor Roger Needham

Author Index

Author Index (PDF)

pp. 265