CSDL - The Eighth IEEE Computer Security Foundations Workshop (CSFW

Computer Security Foundations Workshop, IEEE (1995)

Kenmare, County Kerry, Ireland

Mar. 13, 1995 to Mar. 15, 1995

ISSN: 1063-6900

ISBN: 0-8186-7033-9

TABLE OF CONTENTS

Proceedings The Eighth IEEE Computer Security Foundations Workshop (PDF)

pp. iii

Composition: Session chair: Simon Foley

The composability of non-interference [system security] (Abstract)

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

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

pp. 2

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

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

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

pp. 16

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

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

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

An augmentation of BAN-like logics (Abstract)

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

pp. 44

Panel on "What Makes a Cryptographic Protocol Dependable?"

Panel moderator: Catherine Meadows (Abstract)

pp. 58

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

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

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

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

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

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

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

Panel on "Considering the Common Criteria"

Panel moderator: Jane Sinclair (PDF)

pp. 148

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

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

Index of Authors (PDF)

pp. 177