8. CSFW 1995: Dromquinna Manor, Kenmare, County Kerry, Ireland

@proceedings{DBLP:conf/csfw/1995,
  title     = {The Eighth IEEE Computer Security Foundations Workshop (CSFW
               '95), March 13-15, 1995, Kenmare, County Kerry, Ireland},
  booktitle = {CSFW},
  publisher = {IEEE Computer Society},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Composition

• Aris Zakinthinos, E. Stewart Lee:
  The composability of non-interference [system security]. 2-8
  Electronic Edition (link) BibTeX
• A. W. Roscoe, L. Wulf:
  Composing and decomposing systems under security properties. 9-15
  Electronic Edition (link) BibTeX
• Alfred P. Maneki:
  Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. 16-
  Electronic Edition (link) BibTeX

Authentication Protocols

• Li Gong:
  Optimal authentication protocols resistant to password guessing attacks. 24-29
  Electronic Edition (link) BibTeX
• Liqun Chen, Dieter Gollmann, Chris J. Mitchell:
  Key distribution without individual trusted authentification servers. 30-
  Electronic Edition (link) BibTeX

Analysis of Cryptographic Protocols

• Colin Boyd:
  Towards a classification of key agreement protocols. 38-43
  Electronic Edition (link) BibTeX
• Wenbo Mao:
  An augmentation of BAN-like logics. 44-
  Electronic Edition (link) BibTeX

Issues in Implementations

• Riccardo Focardi, Roberto Gorrieri, V. Panini:
  The security checker: a semantics-based tool for the verification of security properties. 60-69
  Electronic Edition (link) BibTeX
• Trent Jaeger, Atul Prakash:
  Implementation of a discretionary access control model for script-based systems. 70-84
  Electronic Edition (link) BibTeX
• John V. A. Janeri, Daylan B. Darby, Daniel D. Schnackenberg:
  Building higher resolution synthetic clocks for signaling in covert timing channels. 85-
  Electronic Edition (link) BibTeX

Models of Cryptographic Protocols

• A. W. Roscoe:
  Modelling and verifying key-exchange protocols using CSP and FDR. 98-107
  Electronic Edition (link) BibTeX
• James W. Gray III, John McLean:
  Using temporal logic to specify and verify cryptographic protocols. 108-
  Electronic Edition (link) BibTeX

Secure Systems

• Iwen E. Kang, Thomas F. Keefe:
  Concurrency control for federated multilevel secure database systems. 118-135
  Electronic Edition (link) BibTeX
• Simon N. Foley, Jeremy Jacob:
  Specifying security for CSCW systems. 136-
  Electronic Edition (link) BibTeX

Information Flow

• Paul F. Syverson, James W. Gray III:
  The epistemic representation of information flow security in probabilistic systems. 152-166
  Electronic Edition (link) BibTeX
• William R. Bevier, Richard M. Cohen, William D. Young:
  Connection policies and controlled interference. 167-176
  Electronic Edition (link) BibTeX