CSDL - Proceedings C

PDF

Composing and decomposing systems under security properties (Abstract)

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

L. Wulf, Comput. Lab., Oxford Univ., UK

pp. 9

PDF

Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models (Abstract)

A.P. Maneki, Dept. of Defense, USA

pp. 16

PDF

Authentication Protocols: Session Chair: Michael Reiter

Optimal authentication protocols resistant to password guessing attacks (Abstract)

Li Gong, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA

pp. 24

PDF

Key distribution without individual trusted authentification servers (Abstract)

Liqun Chen, Inf. Security Group, London Univ., UK

D. Gollmann, Inf. Security Group, London Univ., UK

C. Mitchell, Inf. Security Group, London Univ., UK

pp. 30

PDF

Analysis of Cryptographic Protocols: Session Chair: Gene Tsudik

Towards a classification of key agreement protocols (Abstract)

C. Boyd, Commun. Res. Group, Manchester Univ., UK

pp. 38

PDF

An augmentation of BAN-like logics (Abstract)

Wenbo Mao, Hewlett-Packard Labs., Bristol, UK

pp. 44

PDF

Panel on "What Makes a Cryptographic Protocol Dependable?"

Panel moderator: Catherine Meadows (Abstract)

pp. 58

PDF

Issues in Implementations: Session chair: Jonathan Millen

The security checker: a semantics-based tool for the verification of security properties (Abstract)

R. Focardi, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy

R. Gorrieri, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy

V. Panini, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy

pp. 60

PDF

Implementation of a discretionary access control model for script-based systems (Abstract)

T. Jaeger, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA

A. Prakash, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA

pp. 70

PDF

Building higher resolution synthetic clocks for signaling in covert timing channels (Abstract)

J.V.A. Janeri, Mitre Corp., Bedford, MA, USA

D.B. Darby, Mitre Corp., Bedford, MA, USA

D.D. Schnackenberg, Mitre Corp., Bedford, MA, USA

pp. 85

PDF

Models of Cryptographic Protocols: Session chair: Michael Merritt

Modelling and verifying key-exchange protocols using CSP and FDR (Abstract)

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

pp. 98

PDF

Using temporal logic to specify and verify cryptographic protocols (Abstract)

J.W. Gray, III, Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong

J. McLean, Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong

pp. 108

PDF

Secure Systems: Session chair: John McLean

Concurrency control for federated multilevel secure database systems (Abstract)

I.E. Kang, GTE Labs. Inc., Waltham, MA, USA

T.F. Keefe, GTE Labs. Inc., Waltham, MA, USA

pp. 118

PDF

Specifying security for CSCW systems (Abstract)

S.N. Foley, Dept. of Comput. Sci., Univ. Coll. Cork, Ireland

J. Jacob, Dept. of Comput. Sci., Univ. Coll. Cork, Ireland

pp. 136

PDF

Panel on "Considering the Common Criteria"

Panel moderator: Jane Sinclair (PDF)

pp. 148

PDF

Information Flow: Session chair: Joshua Guttman

The epistemic representation of information flow security in probabilistic systems (Abstract)

P.F. Syverson, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

J.W. Gray, III, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

pp. 152

PDF

Connection policies and controlled interference (Abstract)

W.R. Bevier, Computational Logic Inc., Austin, TX, USA

R.M. Cohen, Computational Logic Inc., Austin, TX, USA

W.D. Young, Computational Logic Inc., Austin, TX, USA

pp. 167

PDF

Index of Authors (PDF)

pp. 177