| 1996 | Secure Concurrency Control in MLS Databases with Two Versions of Data. | Luigi V. Mancini, Indrajit Ray |
| 1996 | Threat Scenarios as a Means to Formally Develop Secure Systems. | Volkmar Lotz |
| 1996 | Security for Mobile Agents: Authentication and State Appraisal. | William M. Farmer, Joshua D. Guttman, Vipin Swarup |
| 1996 | Authors' Rights and Copyright Protection. | Grard Eizenberg, Dominique Gonthier, Alistair Kelman, Jean-Jacques Quisquater |
| 1996 | Digital Payment Systems with Passive Anonymity-Revoking Trustees. | Jan Camenisch, Ueli M. Maurer, Markus Stadler |
| 1996 | Merging Heterogeneous Security Orderings. | Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
| 1996 | An Authorization Model for Workflows. | Vijayalakshmi Atluri, Wei-kuang Huang |
| 1996 | Server-Supported Signatures. | N. Asokan, Gene Tsudik, Michael Waidner |
| 1994 | Security Versus Performance Requirements in Data Communications Systems. | Vasilios Zorkadis |
| 1994 | Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture. | Roshan K. Thomas, Ravi S. Sandhu |
| 1994 | A Secure Medium Access Control Protocol: Security vs Performances. | Pierre Siron, Bruno d'Ausbourg |
| 1994 | On the Expressive Power of the Unary Transformation Model. | Ravi S. Sandhu, Srinivas Ganta |
| 1994 | Non-Interference Through Determinism. | A. W. Roscoe, Jim Woodcock, Lars Wulf |
| 1994 | A Consideration of the Modes of Operation for Secure Systems. | C. L. Robinson, Simon R. Wiseman |
| 1994 | Security Through Type Analysis. | Colin O'Halloran, Chris T. Sennett |
| 1994 | Aggregation in Relational Databases: Controlled Disclosure of Sensitive Information. | Amihai Motro, Donald G. Marks, Sushil Jajodia |
| 1994 | A Calculus for Secure Channel Establishment in Open Networks. | Ueli M. Maurer, Pierre E. Schmid |
| 1994 | On Strengthening Authentication Protocols to Foil Cryptanalysis. | Wenbo Mao, Colin Boyd |
| 1994 | Beacon Based Authentication. | Azad Jiwa, Jennifer Seberry, Yuliang Zheng |
| 1994 | Robust and Secure Password and Key Change Method. | Ralf C. Hauser, Philippe A. Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen |
| 1994 | Authentication via Multi-Service Tickets in the Kuperee Server. | Thomas Hardjono, Jennifer Seberry |
| 1994 | Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. | Bruno d'Ausbourg |
| 1994 | Privilege Graph: an Extension to the Typed Access Matrix Model. | Marc Dacier, Yves Deswarte |
| 1994 | Information Flow Controls vs Interference Controls: An Integrated Approach. | Frdric Cuppens, Gilles Trouessin |
| 1994 | Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems. | Alessandro Ciampichetti, Elisa Bertino, Luigi V. Mancini |