| 1995 | The semantics and expressive power of the MLR data model. | Fang Chen, Ravi S. Sandhu |
| 1995 | An architecture for covert channel control in realtime networks and multiprocessors. | Randy Browne |
| 1995 | Practical Domain and Type Enforcement for UNIX. | Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, Sheila A. Haghighat |
| 1995 | Cryptographic credit control in pre-payment metering systems. | Ross J. Anderson, S. Johann Bezuidenhoudt |
| 1994 | Extending the schematic protection model. I. Conditional tickets and authentication. | Vijay Varadharajan, Claudio Calvelli |
| 1994 | On unifying some cryptographic protocol logics. | Paul F. Syverson, Paul C. van Oorschot |
| 1994 | Elimination of inference channels by optimal upgrading. | Mark E. Stickel |
| 1994 | On the minimality of testing for rights in transformation models. | Ravi S. Sandhu, Srinivas Ganta |
| 1994 | A secure group membership protocol. | Michael K. Reiter |
| 1994 | Inference channel-free integrity constraints in multilevel relational databases. | Xiaolei Qian |
| 1994 | Simple timing channels. | Ira S. Moskowitz, Allen R. Miller |
| 1994 | A general theory of composition for trace sets closed under selective interleaving functions. | John McLean |
| 1994 | A low cost, high speed encryption system and method. | Gregory L. Mayhew |
| 1994 | Ensuring data security in interrelated tabular data. | Ram Kumar |
| 1994 | A model for secure protocols and their compositions. | Nevin Heintze, J. Doug Tygar |
| 1994 | The complexity and composability of secure interoperation. | Li Gong, Xiaolei Qian |
| 1994 | Self-nonself discrimination in a computer. | Stephanie Forrest, Alan S. Perelson, Lawrence Allen, Rajesh Cherukuri |
| 1994 | Eliminating formal flows in automated information flow analysis. | Steven T. Eckmann |
| 1994 | Generating formal cryptographic protocol specifications. | Ulf Carlsen |
| 1994 | Mode security: an infrastructure for covert channel suppression. | Randy Browne |
| 1994 | Asynchronous composition and required security conditions. | Nora Boulahia-Cuppens, Frdric Cuppens |
| 1994 | Collecting garbage in multilevel secure object stores. | Elisa Bertino, Luigi V. Mancini, Sushil Jajodia |
| 1994 | Prudent engineering practice for cryptographic protocols. | Martn Abadi, Roger M. Needham |
| 1993 | Trust relationships in secure systems-a distributed authentication perspective. | Raphael Yahalom, Birgit Klein, Thomas Beth |
| 1993 | A semantic model for authentication protocols. | Thomas Y. C. Woo, Simon S. Lam |