1996 IEEE Computer Society Computer Security Foundations Workshop
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
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
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
Europeans may instead send checks payable in Irish punts (IEP 16 for
1996, IEP 12.50 for 1995) to:
Dept of Computer Science
NRL's Center for High Assurance
Systems hosts this page.
Carl Landwehr / Landwehr@itd.nrl.navy.mil / Updated June 26, 1996