| 1993 | Modelling a fuzzy time system. | Jonathan T. Trostle |
| 1993 | A logical language for specifying cryptographic protocol requirements. | Paul Syverson, Catherine Meadows |
| 1993 | Protocol design for integrity protection. | Stuart G. Stubblebine, Virgil D. Gligor |
| 1993 | Preventing denial and forgery of causal relationships in distributed systems. | Michael K. Reiter, Li Gong |
| 1993 | Detection and elimination of inference channels in multilevel relational database systems. | Xiaolei Qian, Mark E. Stickel, Peter D. Karp, Teresa F. Lunt, Thomas D. Garvey |
| 1993 | Interconnecting domains with heterogeneous key distribution and authentication protocols. | Frank Piessens, Bart De Decker, Phil Janson |
| 1993 | Authentication method with impersonal token cards. | Refik Molva, Gene Tsudik |
| 1993 | Measuring and modeling computer virus prevalence. | Jeffrey O. Kephart, Steve R. White |
| 1993 | USTAT: a real-time intrusion detection system for UNIX. | Koral Ilgun |
| 1993 | The cascade vulnerability problem. | Joseph D. Horton, Robert Harland, Elton Ashby, Rodney H. Cooper, W. F. Hyslop, Bradford G. Nickerson, W. M. Stewart, O. K. Ward |
| 1993 | On introducing noise into the bus-contention channel. | James W. Gray III |
| 1993 | Assuring Distributed Trusted Mach. | Todd Fine, Spencer E. Minear |
| 1993 | A logical analysis of authorized and prohibited information flows. | Frdric Cuppens |
| 1993 | A model of atomicity for multilevel transactions. | Barbara T. Blaustein, Sushil Jajodia, Catherine D. McCollum, LouAnna Notargiacomo |
| 1993 | Achieving stricter correctness requirements in multilevel secure databases. | Vijayalakshmi Atluri, Elisa Bertino, Sushil Jajodia |
| 1992 | Authorization in distributed systems: a formal approach. | Thomas Y. C. Woo, Simon S. Lam |
| 1992 | BLACKER: security for the DDN examples of A1 security engineering trades. | Clark Weissman |
| 1992 | On message integrity in cryptographic protocols. | Stuart G. Stubblebine, Virgil D. Gligor |
| 1992 | Roles in cryptographic protocols. | Einar Snekkenes |
| 1992 | Non-monotonic transformation of access rights. | Ravi S. Sandhu, Gurpreet S. Suri |
| 1992 | The typed access matrix model. | Ravi S. Sandhu |
| 1992 | Integrating security in a group oriented distributed system. | Michael K. Reiter, Kenneth P. Birman, Li Gong |
| 1992 | The influence of delay upon an idealized channel's bandwidth. | Ira S. Moskowitz, Allen R. Miller |
| 1992 | Security for object-oriented database systems. | Jonathan K. Millen, Teresa F. Lunt |
| 1992 | A resource allocation model for denial of service. | Jonathan K. Millen |