| 1992 | Using traces based on procedure calls to reason about composability. | Catherine Meadows |
| 1992 | Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases. | Sushil Jajodia, Vijayalakshmi Atluri |
| 1992 | Lattice scheduling and covert channels. | Wei-Ming Hu |
| 1992 | A logical approach to multilevel security of probabilistic systems. | James W. Gray III, Paul F. Syverson |
| 1992 | On inter-realm authentication in large distributed systems. | Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato |
| 1992 | Evolution of a trusted B3 window system prototype. | Jeremy Epstein, John McHugh, Rita Pascale, Charles R. Martin, D. Rothnie, Hilarie K. Orman, Ann B. Marmor-Squires, Martha A. Branstad, Bonnie P. Danner |
| 1992 | A neural network component for an intrusion detection system. | Herv Debar, Monique Becker, Didier Siboni |
| 1992 | A 'natural' decomposition of multi-level relations. | Frdric Cuppens, Kioumars Yazdanian |
| 1992 | A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture. | Oliver Costich, John P. McDermott |
| 1992 | An optimal solution to the secure reader-writer problem. | Glenn S. Benson |
| 1992 | Encrypted key exchange: password-based protocols secure against dictionary attacks. | Steven M. Bellovin, Michael Merritt |
| 1992 | A two snapshot algorithm for concurrency control in multi-level secure databases. | Paul Ammann, Frank Jaeckle, Sushil Jajodia |
| 1991 | An Analysis of Covert Timing Channels. | John C. Wray |
| 1991 | Modeling Nondisclosure in Terms of the Subject-Instruction Stream. | James G. Williams |
| 1991 | An Analysis of the Proxy Problem in Distributed Systems. | Vijay Varadharajan, Phillip Allen, Stewart Black |
| 1991 | SPX: Global Authentication Using Public Key Certificates. | Joseph J. Tardo, Kannan Alagappan |
| 1991 | The Use of Logic in the Analysis of Cryptographic Protocols. | Paul F. Syverson |
| 1991 | On the Buzzword "Security Policy". | Daniel F. Sterne |
| 1991 | Exploring the BAN Approach to Protocol Analysis. | Einar Snekkenes |
| 1991 | A Pattern-Oriented Intrusion-Detection Model and Its Applications. | Shiuh-Pyng Shieh, Virgil D. Gligor |
| 1991 | Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels. | Phillip A. Porras, Richard A. Kemmerer |
| 1991 | Variable Noise Effects Upon a Simple Timing Channel. | Ira S. Moskowitz |
| 1991 | A System for the Specification and Verification of Key Management Protocols. | Catherine Meadows |
| 1991 | Applying a Theory of Modules and Interfaces to Security Verification. | Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo |
| 1991 | Directed-Graph Epidemiological Models of Computer Viruses. | Jeffrey O. Kephart, Steve R. White |