| 1996 | Defining Noninterference in the Temporal Logic of Actions. | Todd Fine |
| 1996 | Secure Network Objects. | Leendert van Doorn, Martn Abadi, Michael Burrows, Edward Wobber |
| 1996 | An Immunological Approach to Change Detection: Algorithms, Analysis and Implications. | Patrik D'haeseleer, Stephanie Forrest, Paul Helman |
| 1996 | Java Security: From HotJava to Netscape and Beyond. | Drew Dean, Edward W. Felten, Dan S. Wallach |
| 1996 | Computer Security Training and Education: A Needs Analysis. | Stephen F. Burnett |
| 1996 | Decentralized Trust Management. | Matt Blaze, Joan Feigenbaum, Jack Lacy |
| 1996 | Supporting Multiple Access Control Policies in Database Systems. | Elisa Bertino, Sushil Jajodia, Pierangela Samarati |
| 1996 | A Security Policy Model for Clinical Information Systems. | Ross J. Anderson |
| 1996 | Ensuring Atomicity of Multilevel Transactions. | Paul Ammann, Sushil Jajodia, Indrakshi Ray |
| 1995 | Version pool management in a multilevel secure multiversion transaction manager. | Andrew Warner, Thomas F. Keefe |
| 1995 | Capacity estimation and auditability of network covert channels. | Balaji R. Venkatraman, Richard E. Newman-Wolfe |
| 1995 | Recent-secure authentication: enforcing revocation in distributed systems. | Stuart G. Stubblebine |
| 1995 | Holding intruders accountable on the Internet. | Stuart Staniford-Chen, Todd L. Heberlein |
| 1995 | The Intel 8086 processor architecture: pitfalls for secure systems. | Olin Sibert, Phillip A. Porras, Robert Lindell |
| 1995 | Formal methods in the THETA kernel. | Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau |
| 1995 | CSP and determinism in security modelling. | A. W. Roscoe |
| 1995 | Absorbing covers and intransitive non-interference. | Sylvan Pinsky |
| 1995 | The Interrogator model. | Jonathan K. Millen |
| 1995 | A network version of the Pump. | Myong H. Kang, Ira S. Moskowitz, Daniel C. Lee |
| 1995 | Reasoning about accountability in protocols for electronic commerce. | Rajashekar Kailar |
| 1995 | A multilevel file system for high assurance. | Cynthia E. Irvine |
| 1995 | The design and implementation of a secure auction service. | Matthew K. Franklin, Michael K. Reiter |
| 1995 | Integrating security in CORBA based object architectures. | Robert H. Deng, Shailendra K. Bhonsle, Weiguo Wang, Aurel A. Lazar |
| 1995 | Supporting security requirements in multilevel real-time databases. | Rasikan David, Sang Hyuk Son, Ravi Mukkamala |
| 1995 | Preserving privacy in a network of mobile computers. | David A. Cooper, Kenneth P. Birman |