CSDL - Proceedings C

Workshop Committee Welcome (PDF)

pp. viii

Welcome

Simon Foley, Program Chair Jonathan Millen, General Chair

Session 1: Protocol Checking in CSP: Chair: Roberto Gorrieri

Verifying authentication protocols with CSP (Abstract)

Steve Schneider, University of London

pp. 3

PDF

Casper: A Compiler for the Analysis of Security Protocols (Abstract)

Gavin Lowe

pp. 18

PDF

A Hierarchy of Authentication Specifications (Abstract)

Gavin Lowe

pp. 31

PDF

Session 2: Protocol Engineering:Chair: Paul Syverson

Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications (Abstract)

James W. Gray, Hong Kong University of Science and Techology

Kin Fai Epsilon Ip, Hong Kong University of Science and Techology

King-Shan Lui, University of California, Santa Barbara

pp. 45

PDF

Strategies against Replay Attacks (Abstract)

Tuomas Aura, Helsinki University of Technology

pp. 59

PDF

Session 3: Protocol Verification in Higher Order Logic:Chair: Michael Merritt

Proving Properties of Security Protocols by Induction (Abstract)

Lawrence C Paulson

pp. 70

PDF

Mechanized proofs for a recursive authentication protocol (Abstract)

L.C. Paulson, Comput. Lab., Cambridge Univ., UK

pp. 84

PDF

Panel 1: Languages for Formal Specification of Security Protocols: Moderator: Catherine Meadows

Languages for Formal Specification of Security Protocols (PDF)

C. Meadows

pp. 96

Session 4: Distributed System Security:Chair: Li Gong

On SDSI's Linked Local Name Spaces (Abstract)

Martin Abadi

pp. 98

PDF

A Different Look at Secure Distributed Computation (Abstract)

Paul F. Syverson, Naval Research Laboratory

pp. 109

PDF

Unreliable Intrusion Detection in Distributed Computations (Abstract)

Dahlia Malkhi, AT&T Labs

Michael Reiter, AT&T Labs

pp. 116

PDF

Session 5: Protocol Applications: Chair: Peter Ryan

An Efficient Non-repudiation Protocol (Abstract)

Jianying Zhou, National University of Singapore

Dieter Gollmann, University of London

pp. 126

PDF

Towards the Formal Verification of Electronic Commerce Protocols (Abstract)

Dominique Bolignano, GIE Dyade

pp. 133

PDF

Session 6: Information Flow:Chair: Stewart Lee

A Theory for System Security (Abstract)

Kan Zhang

pp. 148

PDF

Eliminating Covert Flows with Minimum Typings (Abstract)

Dennis Volpano

Geoffrey Smith

pp. 156

PDF

The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead (PDF)

Panel 2: The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead

Moderator: Jane Sinclair: Panel Members: L. Gong, J. McLean, J. Millen, P. Ryan

J. Sinclair

pp. 170

Session 7: Security Policies:Chair: John McLean

A Logic For State Transformations in Authorization Policies (Abstract)

Yun Bai

Vijay Varadharajan

pp. 173

PDF

Separation of Duty in Role-based Environments (Abstract)

Richard Simon

Mary Ellen Zurko

pp. 183

PDF

Security Engineering of Lattice-Based Policies (Abstract)

Ciaran Bryce, GMD - German National Research Center for Information Technology

pp. 195

PDF

Index of Authors (PDF)

pp. 209