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

• 1992
• 
  Paul Ammann, Richard J. Lipton, Ravi S. Sandhu:
  The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model. CSFW 1992: 148-156
• 
  Pierre Bieber, Frédéric Cuppens:
  Secure Dependencies with Dynamic Level Assignments. CSFW 1992: 63-75
• 
  Claudio Calvelli, Vijay Varadharajan:
  An Analysis of some Delegation Protocols for Distributed Systems. CSFW 1992: 92-110
• 
  E. A. Campbell, Reihaneh Safavi-Naini, P. A. Pleasants:
  Partial Belief and Probabilistic Reasoning in the Analysis of Secure Protocols. CSFW 1992: 84-91
• 
  Thomas D. Garvey:
  Inference Working Group Kickoff: The Inference Problem for Computer Security. CSFW 1992: 78-81
• 
  John Graham-Cumming:
  Some Laws of Non-Interference. CSFW 1992: 22-33
• 
  Joshua D. Guttman:
  Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. CSFW 1992: 112
• 
  Paul Helman, Gunar E. Liepins, Wynette Richards:
  Foundations of Intrusion Detection. CSFW 1992: 114-120
• 
  Jaisook Landauer, Timothy Redmond:
  A Framework for Composition of Security Models. CSFW 1992: 157-166
• 
  Catherine Meadows:
  Panel: Fundamental Questions about Formal Methods. CSFW 1992: 52
• 
  Ira S. Moskowitz, Oliver Costich:
  A classical Automata Approach to Noninterference Type Problems. CSFW 1992: 2-8
• 
  Miranda Mowbray:
  Causal Security. CSFW 1992: 54-62
• 
  Sandra Rawlings Murphy, Stephen D. Crocker, Timothy Redmond:
  Unwinding and the LOCK Proof Referees Study. CSFW 1992: 9-21
• 
  Colin O'Halloran:
  On Requirements and Security in a CCIS. CSFW 1992: 121-134
• 
  Sylvan Pinsky:
  An Algebraic Approach to Non-Interference. CSFW 1992: 34-47
• 
  Bhavani Thuraisingham:
  A Non-monotonic Typed Multilevel Logic for Multilevel Secure Data/Knowledge - II. CSFW 1992: 135-146
• 
  Jan Verschuren, René Govaerts, Joos Vandewalle:
  Realization of the Bell-LaPadula Security Policy in an OSI-Distributed System using Asymmetric and Symmetric Cryptographic Algorithms. CSFW 1992: 168-178
• 
  Mary Ellen Zurko:
  Attribute Support for Inter-Domain Use. CSFW 1992: 179-188
• 
  5th IEEE Computer Security Foundations Workshop - CSFW'92, Franconia, New Hampshire, USA, June 16-18, 1992, Proceedings. IEEE Computer Society 1992, ISBN 0-8186-2850-2 [contents]