| 1991 | Discretionary Access Controls in a High-Performance Object Management System. | Udo Kelter |
| 1991 | A Separation Model for Virtual Machine Monitors. | Nancy L. Kelem, Richard J. Feiertag |
| 1991 | Storage Channels in Disk Arm Optimization. | Paul A. Karger, John C. Wray |
| 1991 | The SRI IDES Statistical Anomaly Detector. | Harold S. Javitz, Alfonso Valdes |
| 1991 | A Novel Decomposition of Multilevel Relations into Single-Level Relations. | Sushil Jajodia, Ravi S. Sandhu |
| 1991 | Reducing Timing Channels with Fuzzy Time. | Wei-Ming Hu |
| 1991 | Toward a Mathematical Foundation for Information Flow Security. | James W. Gray III |
| 1991 | Protecting Security Information in Distributed Systems. | Claus Fritzner, Leif Nilsen, smund Skomedal |
| 1991 | A Taxonomy for Information Flow Policies and Models. | Simon N. Foley |
| 1991 | Microdata Disclosure Limitation in Statistical Databases: Query Size and Random Sample Query Control. | George T. Duncan, Sumitra Mukherjee |
| 1991 | Intrusion Tolerance in Distributed Computing Systems. | Yves Deswarte, Laurent Blain, Jean-Charles Fabre |
| 1991 | The Turing Test and Non-Information Flow. | Randy Brown |
| 1991 | Toward an Approach to Measuring Software Trust. | Edward Amoroso, Thu Nguyen, Jonathan Weiss, John Watson, Pete Lapiska, Terry Starr |
| 1991 | Safety Analysis for the Extended Schematic Protection Model. | Paul Ammann, Ravi S. Sandhu |
| 1991 | Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. | Jim Alves-Foss, Karl N. Levitt |
| 1990 | Information Flow in Nondeterministic Systems. | J. Todd Wittbold, Dale M. Johnson |
| 1990 | A Hierarchical Methodology for Verifying Microprogrammed Microprocessors. | Phillip J. Windley |
| 1990 | The Army Secure Operating System. | N. A. Waldhart |
| 1990 | Information Privacy Issues for the 1990s. | Rein Turn |
| 1990 | Adaptive Real-Time Anomaly Detection Using Inductively Generated Sequential Patterns. | Henry S. Teng, Kaihu Chen, Stephen C. Y. Lu |
| 1990 | Modeling Security-Relevant Data Semantics. | Gary W. Smith |
| 1990 | Auditing the Use of Covert Storage Channels in Secure Systems. | Shiuh-Pyng Shieh, Virgil D. Gligor |
| 1990 | The Auditing Facility for a VMM Security Kernel. | K. F. Seiden, J. P. Melanson |
| 1990 | A Security Architecture and Mechanism for Data Confidentiality in TCP/IP Protocols. | Raju Ramaswamy |
| 1990 | Some Conundrums Concerning Separation of Duty. | Michael J. Nash, K. R. Poland |