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

• 2003
• 
  Anindya Banerjee, David A. Naumann:
  Using Access Control for Secure Information Flow in a Java-like Language. CSFW 2003: 155-169
• 
  Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
  Automatic Validation of Protocol Narration. CSFW 2003: 126-140
• 
  Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
  Secure Contexts for Confidential Data. CSFW 2003: 14-28
• 
  Philippa J. Broadfoot, Gavin Lowe:
  On Distributed Security Transactions that Use Secure Transport Protocols. CSFW 2003: 141-
• 
  Liqun Chen, Caroline Kudla:
  Identity Based Authenticated Key Agreement Protocols from Pairings. CSFW 2003: 219-233
• 
  Tom Chothia, Dominic Duggan, Jan Vitek:
  Type-Based Distributed Access Control. CSFW 2003: 170-
• 
  Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
  A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125
• 
  Joseph Y. Halpern, Kevin R. O'Neill:
  Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88
• 
  Joseph Y. Halpern, Vicky Weissman:
  Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201
• 
  Jonathan C. Herzog:
  The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. CSFW 2003: 234-247
• 
  Ninghui Li, John C. Mitchell:
  Understanding SPKI/SDSI Using First-Order Logic. CSFW 2003: 89-
• 
  Catherine Meadows:
  A Procedure for Verifying Security Against Type Confusion Attacks. CSFW 2003: 62-
• 
  Jonathan K. Millen, Vitaly Shmatikov:
  Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. CSFW 2003: 47-61
• 
  Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine:
  On Generalized Authorization Problems. CSFW 2003: 202-
• 
  Geoffrey Smith:
  Probabilistic Noninterference through Weak Probabilistic Bisimulation. CSFW 2003: 3-13
• 
  Bogdan Warinschi:
  A Computational Analysis of the Needham-Schröeder-(Lowe) Protocol. CSFW 2003: 248-
• 
  Steve Zdancewic, Andrew C. Myers:
  Observational Determinism for Concurrent Program Security. CSFW 2003: 29-
• 
  16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA. IEEE Computer Society 2003, ISBN 0-7695-1927-X [contents]