| 1988 | ASDViews [relational databases]. | Cristi Garvey, Amy Wu |
| 1988 | The SeaView security model. | Dorothy E. Denning, Teresa F. Lunt, Roger R. Schell, William R. Shockley, Mark R. Heckman |
| 1988 | Reverification of a microprocessor. | Stephen D. Crocker, Eve Cohen, Sue Landauer, Hilarie Orman |
| 1988 | A secure distributed operating system. | Thomas A. Casey Jr., Stephen T. Vinter, D. G. Weber, Rammohan Varadarajan, David Rosenthal |
| 1988 | Security policy modeling for the next-generation packet switch. | David Elliott Bell |
| 1988 | Concerning 'modeling' of computer security. | David Elliott Bell |
| 1987 | Coding for a Believable Specification to Implementation Mapping. | William D. Young, John McHugh |
| 1987 | Exploiting the Dual Nature of Sensitivity Labels. | John P. L. Woodward |
| 1987 | A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview. | J. C. Williams, George W. Dinolt |
| 1987 | ABYSS: A Trusted Architecture for Software Protection. | Steve R. White, Liam Comerford |
| 1987 | Physical Security for the ABYSS System. | Steve H. Weingart |
| 1987 | A Formal Method for the Identification of Covert Storage Channels in Source Code. | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
| 1987 | Data Dependencies and Inference Control in Multilevel Relational Database Systems. | Tzong-An Su, Gultekin zsoyoglu |
| 1987 | The Design of an Effective Auditing Subsystem. | Jeffrey Picciotto |
| 1987 | Graph Homomorphisms and the Design of Secure Computer Systems. | Louise E. Moser |
| 1987 | Covert Channel Capacity. | Jonathan K. Millen |
| 1987 | The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels. | Catherine Meadows |
| 1987 | Reasoning About Security Models. | John McLean |
| 1987 | Specifications for Multi-Level Security and a Hook-Up Property. | Daryl McCullough |
| 1987 | A Model for Multilevel Security Based on Operator Nets. | Glenn H. MacEwen, V. W. W. Poon, Janice I. Glasgow |
| 1987 | Using Formal Verification Techniques to Analyze Encryption Protocols. | Richard A. Kemmerer |
| 1987 | Limiting the Damage Potential of Discretionary Trojan Horses. | Paul A. Karger |
| 1987 | Information Flow and Invariance. | Joshua D. Guttman |
| 1987 | A Universal Theory of Information Flow. | Simon N. Foley |
| 1987 | Visa Scheme for Inter-Organization Network Security. | Deborah Estrin, Gene Tsudik |