Proceedings of the 11th IEEE Computer Security Foundations Workshop, 9-11 June, 1998, Rockport, Massachusetts, USA. IEEE Computer Society, 1998, online publication: http: //computer.org/proceedings/csfw/8488/8488toc.htm

Distributed Services

• 
  Paul F. Syverson: Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange. 2-13
• 
  Tuomas Aura: On the Structure of Delegation Networks. 14-26
• 
  Martín Abadi: Two Facets of Authentication. 27-32

Noninterference

• 
  Dennis M. Volpano, Geoffrey Smith: Probabilistic Noninterference in a Concurrent Language. 34-43
• 
  Fabio Martinelli: Partial Model Checking and Theorem Proving for Ensuring Security Properties. 44-52

Protocol Verification

• 
  Steve Schneider: Formal Analysis of a Non-Repudiation Protocol. 54-65
• 
  F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Honest Ideals on Strand Spaces. 66-77

Panel

• 
  Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. 79-82

Protocol Model Checking

• 
  A. W. Roscoe: Proving Security Protocols with Model Checkers by Data Independence Techniques. 84-95
• 
  Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. 96-105
• 
  Vitaly Shmatikov, Ulrich Stern: Efficient Finite-State Analysis for Large Security Protocols. 106-115

Composition

• 
  Aris Zakinthinos, E. Stewart Lee: Composing Secure Systems that have Emergent Properties. 117-122
• 
  Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère: Merging Security Policies: Analysis of a Practical Example. 123-136

Protocol Logics

• 
  Stephen H. Brackin: Evaluating and Improving Protocol Analysis by Automatic Proof. 138-152
• 
  Levente Buttyán, Sebastian Staamann, Uwe G. Wilhelm: A Simple Logic for Authentication Protocol Design. 153-162

Panel

• 
  Peter Y. A. Ryan, Dieter Gollmann, Li Gong, Günter Karjoth, Chris J. Mitchell: Panel Introduction: The Security Impact of Distributed Computing Technologies. 164-166

Database and Intrusion Detection

• 
  Sushil Jajodia, Luigi V. Mancini, Sanjeev Setia: A Fair Locking Protocol for Multilevel Secure Databases. 168-178
• 
  Raymond W. Yip, Karl N. Levitt: Data Level Inference Detection in Database Systems. 179-189
• 
  Jia-Ling Lin, Xiaoyang Sean Wang, Sushil Jajodia: Abstraction-Based Misuse Detection: High-Level Specifications and Adaptable Strategies. 190-201