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

• 2005
• 
  Carlos Caleiro, Luca Viganò, David A. Basin:
  Deconstructing Alice and Bob. ARSPA@ICALP 2005: 3-22
• 
  Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
  A Syntactic Criterion for Injectivity of Authentication Protocols. ARSPA@ICALP 2005: 23-38
• 
  Deepak D'Souza, K. R. Raghavendra, Barbara Sprick:
  An Automata Based Approach for Verifying Information Flow Properties. ARSPA@ICALP 2005: 39-58
• 
  Pierpaolo Degano, Luca Viganò:
  Preface. ARSPA@ICALP 2005: 1-2
• 
  Alexey Gotsman, Fabio Massacci, Marco Pistore:
  Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. ARSPA@ICALP 2005: 59-77
• 
  Kenji Imamoto, Kouichi Sakurai:
  Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic. ARSPA@ICALP 2005: 79-94
• 
  Monica Nesi, Giuseppina Rucci:
  Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. ARSPA@ICALP 2005: 95-114
• 
  Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson:
  Static Validation of a Voting Protocol. ARSPA@ICALP 2005: 115-134
• 
  Pierpaolo Degano, Luca Viganò:
  Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005. Electronic Notes in Theoretical Computer Science 135(1), Elsevier 2005 [contents]