CSDL - Proceedings C

PDF

Workshop Committee (PDF)

pp. viii

PDF

Formal Models

A Formal Framework and Evaluation Method for Network Denial of Service (Abstract)

Catherine Meadows, Naval Research Laboratory

pp. 4

PDF

I/O Automaton Models and Proofs for Shared-Key Communication Systems (Abstract)

Nancy Lynch, Massachusetts Institute of Technology

pp. 14

PDF

Security Protocol Analysis: Notation, Transformation, and Simplification

Safe Simplifying Transformations for Security Protocols or not just the Needham Schroeder Public Key Protocol (Abstract)

Mei Lin Hui, University of Leicester

Gavin Lowe, University of Leicester

pp. 32

PDF

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief (Abstract)

David Monniaux

pp. 44

PDF

A Meta-Notation for Protocol Analysis (Abstract)

pp. 55

PDF

Strand Spaces

Mixed Strand Spaces (Abstract)

pp. 72

PDF

Honest Functions and their Application to the Analysis of Cryptographic Protocols (Abstract)

Alfred P. Maneki

pp. 83

PDF

Panel: Formalization and Proof of Secrecy Properties: Chair: D. Volpano: Panelists: M. Abadi, R. Focardi, C. Meadows and J. Millen

Formalization and Proof of Secrecy Properties (Abstract)

D. Volpano

pp. 92

PDF

Local Names

Authentication via Localized Names (Abstract)

pp. 98

PDF

A Logic for SDSI's Linked Local Name Spaces: Preliminary Version (Abstract)

Joseph Y. Halpern

Ron Van der Meyden

pp. 111

PDF

Interaction and Composition

Trusted System Construction (Abstract)

Colin O'Halloran, Systems Assurance Group

pp. 124

PDF

Secure Composition of Insecure Components (Abstract)

Peter Sewell

Jan Vitek

pp. 136

PDF

Security Function Interactions (Abstract)

Pierre Bieber

pp. 151

PDF

Logics for Authorization and Access Control

A Logic-based Knowledge Representation for Authorization with Delegation (Abstract)

pp. 162

PDF

A Logical Framework for Reasoning on Data Access Control Policies (Abstract)

Elisa Bertino, Universit? degli Studi di Milano

Elena Ferrari, Universit? degli Studi di Milano

Francesco Buccafurri, Universit? di Reggio Calabria

Pasquale Rullo, Universit? della Calabria

pp. 175

PDF

Advances in Automated Security Protocol Analysis

Athena: a New Efficient Automatic Checker for Security Protocol Analysis (Abstract)

Dawn Xiaodong Song

pp. 192

PDF

CVS: A Compiler for the Analysis of Cryptographic Protocols (Abstract)

pp. 203

PDF

Noninterference Using Process Algebras

Process Algebra and Non-interference (Abstract)

P Y A Ryan, Defence Evaluation and Research Agency

S A Schneider, University of London

pp. 214

PDF

What is Intransitive Noninterference? (Abstract)

A.W. Roscoe, Oxford University

M.H. Goldsmith, Formal Systems (Europe) Ltd

pp. 228

PDF

Index of Authors (PDF)

pp. 239