Preface

Conference Organization (PDF)

pp. ix

Session 1: Protocols

A Class of Flexible and Efficient Key Management Protocols (Abstract)

Colin Boyd, Queensland University of Technology Brisbane Q4001, Australia

pp. 2

PDF

A High-Throughput Secure Reliable Multicast Protocol (Abstract)

Dalia Malki, AT&T Laboratories

Michael Reiter, AT&T Laboratories

pp. 9

PDF

An Immunological Approach to Change Detection: Theoretical Results (Abstract)

Patrik D'haeseleer, University of New Mexico patrik@cs.unm.edu

pp. 18

PDF

Session 2: Protocol Specification

Intensional specifications of security protocols (Abstract)

A.W. Roscoe, Comput. Lab., Oxford Univ., UK

pp. 28

PDF

Narrowing terminates for encryption (Abstract)

J.K. Millen, Mitre Corp., Bedford, MA, USA

Hai-Ping Ko, Mitre Corp., Bedford, MA, USA

pp. 39

PDF

Session 3: Protocol Analysis Tools

Language generation and verification in the NRL protocol analyzer (Abstract)

C. Meadows, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

pp. 48

PDF

A HOL extension of GNY for automatically analyzing cryptographic protocols (Abstract)

S.H. Brackin, Arca Syst. Inc., Hanscom AFB, MA, USA

pp. 62

PDF

Panel 1: E-Commerce Challenge

E-Commerce Payment Protocols: Requirements and Analysis (Abstract)

Stefek Zaba, Hewlett-Packard Labs sjmz@hplb.hpl.hp.com

pp. 78

PDF

Session 4: Composition

A Logic of Composition for Information Flow Predicates (Abstract)

Ramesh V. Peri, University of Virginia

William A. Wulf, University of Virginia

Darrell M. Kienzle, University of Virginia

pp. 82

PDF

How and why feedback composition fails [secure systems] (Abstract)

A. Zakinthinos, Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada

E.S. Lee, Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada

pp. 95

PDF

Action Systems for Security Specification (Abstract)

Jane Sinclair, Open University Milton Keynes, MK7 6AA, UK

pp. 102

PDF

Session 5: Security Policies

Comparing Two Information Flow Security Properties (Abstract)

Riccardo Focardi, Dipartimento di Scienze dell'Informazione Universita' di Bologna focardi@cs.unibo.it

pp. 116

PDF

Specifying a security policy: a case study (Abstract)

F. Cuppens, ONERA-CERT, Toulouse, France

C. Saurel, ONERA-CERT, Toulouse, France

pp. 123

PDF

Session 6: Access Control

A Formal Model for Role-Based Access Control with Constraints (Abstract)

Luigi Giuri, Fondazione Ugo Bordoni v. B. Castiglione, 59 - 00142 Rome - Italy

Pietro Iglio, Fondazione Ugo Bordoni v. B. Castiglione, 59 - 00142 Rome - Italy

pp. 136

PDF

The non-primitiveness of the simple-security property and its non-applicability to relational databases (Abstract)

A. Spalka, Dept. of Comput. Sci., Bonn Univ., Germany

pp. 146

PDF

Panel 2: A Genealogy of Non-Interference

A Genealogy of Non-Interference (PDF)

Peter Ryan

pp. 158

Session 7: Attacks

Some new attacks upon security protocols (Abstract)

G. Lowe, Comput. Lab., Oxford Univ., UK

pp. 162

PDF

Simmons' protocol is not free of subliminal channels (Abstract)

Y. Desmedt, Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA

pp. 170

PDF

Towards a model of storage jamming (Abstract)

J. McDermott, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

D. Goldschlag, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

pp. 176

PDF

Panel 3: What is an Attack on a Cryptographic Protocol?

What is an Attack on a Cryptographic Protocal? (PDF)

Paul Syverson

pp. 188

Index of Authors (PDF)

pp. 189