1996 IEEE Computer Society Computer Security Foundations Workshop (CSFW9)
Papers Presented

• A Class of Flexible and Efficient Key Management Protocols
  Colin Boyd, pp. 2-8.
• A high-throughput secure reliable multicast protocol
  Dalia Malki and Michael Reiter, pp. 9-17.
• An immunological approach to change detection: Theoretical results
  Patrik D'haeseleer, pp. 18-27.
• Intensional specification of security protocols
  A.W. Roscoe, pp. 28-38.
• Narrowing Terminates for Encryption
  Jonathan Millen and Hai-Ping Ko, pp. 39-47. [Available from the authers; send e-mail to jkm@mitre.org]
• Language Generation and Verification in the NRL Protocol Analyzer (abstract)
  Catherine A. Meadows, pp. 48-61. PostScript.
• A HOL extension of GNY for automatically analyzing cryptographic protocols
  Steve Brackin, pp. 62-77.
• A Logic of Composition for Information Flow Predicates
  Ramesh V. Peri, William Wulf, and Darrell Kienzle, pp. 82-94.
• How and Why Feedback Composition Fails
  Aris Zakinthinos and E.S. Lee, pp. 95-101.
• Action systems for security specification
  Jane Sinclair, pp. 102-115.
• Comparing Two Information Flow Security Properties
  Riccardo Focardi, pp. 116-122.
• Specifying a Security Policy: A Case Study
  Frederic Cuppens and Claire Saurel, pp. 123-135.
• A Formal Model for Role Based Access Control with Constraints
  Luigi Giuri and Pietro Iglio, pp. 136-145.
• The Non-Primitiveness of the SimpLe-Security Property and its Non-Applicability to Relational and Logic-Based Databases (HTML version)
  Adrian Spalka, pp. 146-157. Complete paper in PostScript is here; PostScript version of slides used in presenting the paper is here.
• Some New Attacks upon Security Protocols
  Gavin Lowe, pp. 162-169.
• Simmons' Protocol is Not Free of Subliminal Channels
  Yvo Desmedt, pp. 170-175.
• Towards a Model of Storage Jamming (abstract)
  John McDermott and David Goldschlag, pp. 176-187.PostScript

Copies of the proceedings are available from the publications chair for $25 each. Copies of last year's proceedings are also available at $20, and several earlier years at $15. Checks payable to "Joshua Guttman for CSFW" may be sent to:

Joshua Guttman, MS A155
The MITRE Corporation
202 Burlington Rd.
Bedford, MA 01730-1420 USA
guttman@mitre.org

Europeans may instead send checks payable in Irish punts (IEP 16 for 1996, IEP 12.50 for 1995) to:

Simon Foley
Dept of Computer Science
University College
Cork, Ireland
simon@security.ucc.ie