• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 17 matches

• 1995
• 
  William R. Bevier, Richard M. Cohen, William D. Young:
  Connection policies and controlled interference. CSFW 1995: 167-176
• 
  Colin Boyd:
  Towards a classification of key agreement protocols. CSFW 1995: 38-43
• 
  Liqun Chen, Dieter Gollmann, Chris J. Mitchell:
  Key distribution without individual trusted authentification servers. CSFW 1995: 30-
• 
  Riccardo Focardi, Roberto Gorrieri, V. Panini:
  The security checker: a semantics-based tool for the verification of security properties. CSFW 1995: 60-69
• 
  Simon N. Foley, Jeremy Jacob:
  Specifying security for CSCW systems. CSFW 1995: 136-
• 
  Li Gong:
  Optimal authentication protocols resistant to password guessing attacks. CSFW 1995: 24-29
• 
  James W. Gray III, John McLean:
  Using temporal logic to specify and verify cryptographic protocols. CSFW 1995: 108-
• 
  Trent Jaeger, Atul Prakash:
  Implementation of a discretionary access control model for script-based systems. CSFW 1995: 70-84
• 
  John V. A. Janeri, Daylan B. Darby, Daniel D. Schnackenberg:
  Building higher resolution synthetic clocks for signaling in covert timing channels. CSFW 1995: 85-
• 
  Iwen E. Kang, Thomas F. Keefe:
  Concurrency control for federated multilevel secure database systems. CSFW 1995: 118-135
• 
  Alfred P. Maneki:
  Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. CSFW 1995: 16-
• 
  Wenbo Mao:
  An augmentation of BAN-like logics. CSFW 1995: 44-
• 
  A. W. Roscoe:
  Modelling and verifying key-exchange protocols using CSP and FDR. CSFW 1995: 98-107
• 
  A. W. Roscoe, Lars Wulf:
  Composing and decomposing systems under security properties. CSFW 1995: 9-15
• 
  Paul F. Syverson, James W. Gray III:
  The epistemic representation of information flow security in probabilistic systems. CSFW 1995: 152-166
• 
  Aris Zakinthinos, E. Stewart Lee:
  The composability of non-interference [system security]. CSFW 1995: 2-8
• 
  The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland. IEEE Computer Society 1995, ISBN 0-8186-7033-9 [contents]