| 1989 | Defending Systems against Viruses through Cryptographic Authentication. | George I. Davida, Yvo Desmedt, Brian J. Matt |
| 1989 | A Proposal for a Verification-Based Virus Filter. | Stephen D. Crocker, Maria Pozzo |
| 1989 | A Software Engineering Approach to Designing Trustworthy Software. | M. R. Cornwell |
| 1989 | The Chinese Wall Security Policy. | D. F. C. Brewer, Michael J. Nash |
| 1989 | Access Mediation in a Message Passing Kernel. | Martha A. Branstad, Homayoon Tajalli, Frank Mayer, David Dalva |
| 1989 | The Hierarchical Model of Distributed System Security. | Glenn S. Benson, William F. Appelbe, Ian F. Akyildiz |
| 1989 | A Model for Specifying Multi-Granularity Integrity Policies. | Lee Badger |
| 1988 | A formal specification and verification method for the prevention of denial of service. | Che-Fu Yu, Virgil D. Gligor |
| 1988 | The trusted path between SMITE and the user. | Simon R. Wiseman, Phil Terry, Andrew Wood, Clare Harrold |
| 1988 | Views as the security objects in a multilevel secure relational database management system. | Jackson Wilson |
| 1988 | Extended discretionary access controls. | Stephen T. Vinter |
| 1988 | A bandwidth computation model for covert storage channels and its applications. | Chii-Ren Tsai, Virgil D. Gligor |
| 1988 | Cascaded authentication. | Karen R. Sollins |
| 1988 | An axiomatic basis of trust in distributed systems. | P. Venkat Rangan |
| 1988 | Controlling logical inference in multilevel database systems. | Matthew Morgenstern |
| 1988 | The algebra of security. | John McLean |
| 1988 | Noninterference and the composability of security properties. | Daryl McCullough |
| 1988 | A near-term design for the SeaView multilevel database system. | Teresa F. Lunt, Roger R. Schell, William R. Shockley, Mark R. Heckman, Dan Warren |
| 1988 | A prototype real-time intrusion-detection expert system. | Teresa F. Lunt, R. Jagannathan |
| 1988 | Using mandatory integrity to enforce 'commercial' security. | Theodore M. P. Lee |
| 1988 | Implementing commercial data integrity with secure capabilities. | Paul A. Karger |
| 1988 | A fault tolerance approach to computer viruses. | Mark K. Joseph, Algirdas Avizienis |
| 1988 | Security specifications. | Jeremy Jacob |
| 1988 | Inference aggregation detection in database management systems. | Thomas H. Hinke |
| 1988 | Reasoning about knowledge in multilevel secure distributed systems. | Janice I. Glasgow, Glenn H. MacEwen |