• 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

• 2004
• 
  Mario Bravetti, Roberto Gorrieri:
  Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003. Electronic Notes in Theoretical Computer Science 99, Elsevier 2004 [contents]
• 2003
• 
  Alessandro Aldini, Alessandra Di Pierro:
  A Quantitative Approach to Noninterference for Probabilistic Systems. MEFISTO 2003: 155-182
• 
  Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
  Program Transformations under Dynamic Security Policies. MEFISTO 2003: 49-86
• 
  Carlo Blundo, Stelvio Cimato, Roberto De Prisco, Anna Lisa Ferrara:
  Modeling A Certified Email Protocol using I/O Automata. MEFISTO 2003: 339-359
• 
  Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
  Unwinding in Information Flow Security. MEFISTO 2003: 127-154
• 
  Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
  Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. MEFISTO 2003: 319-337
• 
  Chiara Braghin, Carla Piazza:
  Checking Integrity via CoPS and Banana: the E-Commerce Case Study . MEFISTO 2003: 295-317
• 
  Mario Bravetti, Roberto Gorrieri:
  Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. MEFISTO 2003: 1-2
• 
  Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
  Combining Partitions in SecSpaces. MEFISTO 2003: 31-47
• 
  Riccardo Focardi, Matteo Maffei:
  The rho-spi Calculus at Work: Authentication Case Studies. MEFISTO 2003: 267-293
• 
  Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
  Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO 2003: 111-126
• 
  Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci:
  Automatic Analysis of the NRL Pump. MEFISTO 2003: 245-266
• 
  Radu Mardare, Corrado Priami:
  A Logical Approach to Security in the Context of Ambient Calculus. MEFISTO 2003: 3-29
• 
  Margherita Napoli, Mimmo Parente, Adriano Peron:
  Specification and Verification of Protocols With Time Constraints. MEFISTO 2003: 205-227
• 
  Salvatore La Torre, Aniello Murano, Mimmo Parente:
  Model-checking the Secure Release of a Time-locked Secret over a Network. MEFISTO 2003: 229-243
• 
  Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
  Approximating Imperfect Cryptography in a Formal Model. MEFISTO 2003: 183-203
• 
  Roberto Zunino:
  Control Flow Analysis for the Applied Pi-calculus. MEFISTO 2003: 87-110