| 1990 | Single-level multiversion schedulers for multilevel secure database systems. | William T. Maimone, Ira B. Greenberg |
| 1990 | IDES: a progress report [Intrusion-Detection Expert System]. | Teresa F. Lunt, Ann Tamaru, Fred Gilham, R. Jagannathan, Peter G. Neumann, Caveh Jalali |
| 1990 | Probabilistic measure on aggregations [data security]. | Tsau Young Lin |
| 1990 | The lowdown on lower layer security protocols. | Paul A. Lambert |
| 1990 | Formal specification and verification of control software for cryptographic equipment. | D. Richard Kuhn, James F. Dray |
| 1990 | Update semantics for multilevel relations. | Sushil Jajodia, Ravi S. Sandhu, Edgar H. Sibley |
| 1990 | Architecture for an embedded secure data base management system. | Cynthia E. Irvine, Roger R. Schell, Linda L. Vetter |
| 1990 | Security pipeline interface (SPI). | Lance J. Hoffman, Russell J. Davis |
| 1990 | Multilevel security for knowledge based systems. | Thomas D. Garvey, Teresa F. Lunt |
| 1990 | CERTS: a comparative evaluation method for risk management methodologies and tools. | William M. Garrabrants, Alfred W. Ellis III, Lance J. Hoffman, Magdi N. Kamel |
| 1990 | Successful acquisition of certifiable application systems (or: How not to shake hands with the tar baby). | Judith N. Froscher, John P. McDermott, Christian N. Payne, Herman Otto Lubbes |
| 1990 | A prototype for Trusted X labeling policies. | Jeremy Epstein |
| 1990 | Rehosting existing command and control systems into a multilevel secure environment. | Samuel Doncaster, Michael Endsley, Greg Factor |
| 1990 | Software checking with the Auditor's Aid. | Russell J. Davis |
| 1990 | An advanced process model's application to trusted X Window system development. | Bonnie P. Danner, Ann B. Marmor-Squires |
| 1990 | A multilevel-mode system for space applications: lessons learned. | Deborah J. Bodeau, Mary Jo Reece |
| 1990 | A security analysis of the NTP protocol version 2. | Matt Bishop |
| 1990 | Process Execution Controls: revisited. | Eugen M. Bacic |
| 1990 | The Canadian trusted computer product evaluation criteria. | Eugen M. Bacic |
| 1990 | Extending the creation operation in the Schematic Protection Model. | Paul Ammann, Ravi S. Sandhu |
| 1989 | An approach for evaluating the security of an Air Force type network. | Nancy K. Woodfield |
| 1989 | Intrusion and anomaly detection in trusted systems. | J. R. Winkler, W. J. Page |
| 1989 | Considerations on TCB subsetting. | Helena B. Winkler-Parenty |
| 1989 | TCB subsets: the next step. | Linda L. Vetter, Gordon Smith, Teresa F. Lunt |
| 1989 | TCB subset architecture. | Linda L. Vetter |