• 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 20 matches

• 1997
• 
  Martín Abadi:
  On SDSI's Linked Local Name Spaces. CSFW 1997: 98-108
• 
  Tuomas Aura:
  Strategies against Replay Attacks. CSFW 1997: 59-69
• 
  Yun Bai, Vijay Varadharajan:
  A Logic For State Transformations in Authorization Policies. CSFW 1997: 173-182
• 
  Dominique Bolignano:
  Towards the Formal Verification of Electronic Commerce Protocols. CSFW 1997: 133-147
• 
  Ciarán Bryce:
  Security Engineering of Lattice-Based Policies. CSFW 1997: 195-208
• 
  James W. Gray III, Kin Fai Epsilon Ip, King-Shan Lui:
  Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications. CSFW 1997: 45-58
• 
  Gavin Lowe:
  Casper: A Compiler for the Analysis of Security Protocols. CSFW 1997: 18-30
• 
  Gavin Lowe:
  A Hierarchy of Authentication Specification. CSFW 1997: 31-44
• 
  Dahlia Malkhi, Michael K. Reiter:
  Unreliable Intrusion Detection in Distributed Computations. CSFW 1997: 116-125
• 
  Catherine Meadows:
  Languages for Formal Specification of Security Protocols. CSFW 1997: 96-97
• 
  Lawrence C. Paulson:
  Proving Properties of Security Protocols by Induction. CSFW 1997: 70-83
• 
  Lawrence C. Paulson:
  Mechanized proofs for a recursive authentication protocol. CSFW 1997: 84-95
• 
  Steve A. Schneider:
  Verifying authentication protocols with CSP. CSFW 1997: 3-17
• 
  Richard T. Simon, Mary Ellen Zurko:
  Separation of Duty in Role-based Environments. CSFW 1997: 183-194
• 
  J. Sinclair:
  The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead. CSFW 1997: 170-172
• 
  Paul F. Syverson:
  A Different Look at Secure Distributed Computation. CSFW 1997: 109-115
• 
  Dennis M. Volpano, Geoffrey Smith:
  Eliminating Covert Flows with Minimum Typings. CSFW 1997: 156-169
• 
  Kan Zhang:
  A Theory for System Security. CSFW 1997: 148-155
• 
  Jianying Zhou, Dieter Gollmann:
  An Efficient Non-repudiation Protocol . CSFW 1997: 126-132
• 
  10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA. IEEE Computer Society 1997, ISBN 0-8186-7990-5 [contents]