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

• 2009
• 
  Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli:
  Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5491, Springer 2009 [contents]
• 2008
• 
  Isaac Agudo, M. Carmen Fernández Gago, Javier López:
  Delegating Privileges over Finite Resources: A Quota Based Delegation Approach. Formal Aspects in Security and Trust 2008: 302-315
• 
  Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin:
  Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust 2008: 1-19
• 
  Nataliia Bielova, Fabio Massacci:
  Do You Really Mean What You Actually Enforced?. Formal Aspects in Security and Trust 2008: 287-301
• 
  Gérard Boudol:
  Secure Information Flow as a Safety Property. Formal Aspects in Security and Trust 2008: 20-34
• 
  Elie Bursztein:
  Extending Anticipation Games with Location, Penalty and Timeline. Formal Aspects in Security and Trust 2008: 272-286
• 
  David Clark, Sebastian Hunt:
  Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66
• 
  Ariel Cohen, Ron van der Meyden, Lenore D. Zuck:
  Access Control and Information Flow in Transactional Memory. Formal Aspects in Security and Trust 2008: 316-330
• 
  Dominic Duggan, Ye Wu:
  Causality and Accountability. Formal Aspects in Security and Trust 2008: 82-96
• 
  Simone Frau, Roberto Gorrieri, Carlo Ferigato:
  Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225
• 
  Jan Friso Groote, Simona Orzan:
  Parameterised Anonymity. Formal Aspects in Security and Trust 2008: 177-191
• 
  Elsa L. Gunter, Ayesha Yasmeen:
  Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271
• 
  James Heather, David Lundin:
  The Append-Only Web Bulletin Board. Formal Aspects in Security and Trust 2008: 242-256
• 
  Wiebren de Jonge, Bart Jacobs:
  Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161
• 
  Francis Klay, Laurent Vigneron:
  Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. Formal Aspects in Security and Trust 2008: 192-209
• 
  Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi:
  Trust within the Context of Organizations: A Formal Approach. Formal Aspects in Security and Trust 2008: 114-128
• 
  Alexander Lux, Heiko Mantel:
  Who Can Declassify?. Formal Aspects in Security and Trust 2008: 35-49
• 
  Heiko Mantel, Henning Sudbrock:
  Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust 2008: 67-81
• 
  Daniel Le Métayer:
  A Formal Privacy Management Framework. Formal Aspects in Security and Trust 2008: 162-176
• 
  Dusko Pavlovic:
  Dynamics, Robustness and Fragility of Trust. Formal Aspects in Security and Trust 2008: 97-113
• 
  Fred Spiessens, Jerry den Hartog, Sandro Etalle:
  Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142
• 
  Rob Verhoeven, Francien Dechesne:
  Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241