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

• 1992
• 
  Ross J. Anderson:
  UEPS - A Second Generation Electronic Wallet. ESORICS 1992: 411-418
• 
  Colin Boyd:
  A Formal Framework for Authentication. ESORICS 1992: 273-292
• 
  John A. Bull, Li Gong, Karen R. Sollins:
  Towards Security in an Open Systems Federation. ESORICS 1992: 3-20
• 
  Christel Calas:
  GDoM: a Multilevel Document Manager. ESORICS 1992: 393-408
• 
  Joan Daemen, René Govaerts, Joos Vandewalle:
  A Hardware Design Model for Cryptographic Algorithms. ESORICS 1992: 419-434
• 
  Yvo Desmedt:
  Breaking the Traditional Computer Security Barriers. ESORICS 1992: 125-138
• 
  Jean-Charles Fabre, Brian Randell:
  An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. ESORICS 1992: 193-208
• 
  Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu:
  ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. ESORICS 1992: 435-450
• 
  Ralf C. Hauser, E. Stewart Lee:
  Verification and Modelling of Authentication Protocols. ESORICS 1992: 141-154
• 
  Jingsha He, Virgil D. Gligor:
  Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. ESORICS 1992: 57-76
• 
  Andrew J. I. Jones, Marek J. Sergot:
  Formal Specification of Security Requirements using the Theory of Normative Positions. ESORICS 1992: 103-121
• 
  Iwen E. Kang, Thomas F. Keefe:
  On Transaction Processing for Multilevel Secure Replicated Databases. ESORICS 1992: 329-348
• 
  Udo Kelter:
  Type-Level Access Controls for Distributed Structurally Object-Oriented Database Systems. ESORICS 1992: 21-40
• 
  Volker Kessler:
  On the Chinese Wall Model. ESORICS 1992: 41-54
• 
  Kwok-Yan Lam, Thomas Beth:
  Timely Authentication in Distributed Systems. ESORICS 1992: 293-303
• 
  Kwok-Yan Lam, Dieter Gollmann:
  Freshness Assurance of Authentication Protocols. ESORICS 1992: 261-272
• 
  Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti:
  KryptoKnight Authentication and Key Distribution System. ESORICS 1992: 155-174
• 
  Günther Pernul:
  Security Constraint Processing in Multilevel Secure AMAC Schemata. ESORICS 1992: 349-370
• 
  Ravi S. Sandhu, Sushil Jajodia:
  Polyinstantation for Cover Stories. ESORICS 1992: 307-328
• 
  Anas Tarah, Christian Huitema:
  Associating Metrics to Certification Paths. ESORICS 1992: 175-189
• 
  Marie-Jeanne Toussaint:
  Separating the Specification and Implementation Phases in Cryptology. ESORICS 1992: 77-102
• 
  Gene Tsudik:
  Policy Enforcement in Stub Autonomous Domains. ESORICS 1992: 229-257
• 
  Michael Wang, Andrzej M. Goscinski:
  The Development and Testing of the Identity-Based Conference Key Distribution System for the RHODOS Distributed System. ESORICS 1992: 209-228
• 
  Bruno d'Ausbourg, Jean-Henri Llareus:
  M²S: A Machine for Multilevel Security. ESORICS 1992: 373-392
• 
  Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater:
  Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings. Lecture Notes in Computer Science 648, Springer 1992, ISBN 3-540-56246-X [contents]