| 1985 | A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted Data. | G. R. Blakley, Catherine Meadows |
| 1985 | Trusted Software Verification: A Case Study. | Terry C. Vickers Benzel, Deborah A. Tavilla |
| 1985 | Cryptographic Protocol for Trustable Match Making. | Robert W. Baldwin, Wayne Gramlich |
| 1985 | Ada's Suitability for Trusted Computer Systems. | E. R. Anderson |
| 1985 | A Unification of Computer and Network Security Concepts. | James P. Anderson |
| 1984 | Practical Experience with an Ada-Based Formal Specification/Language on a Large Project. | Lawrence Yelowitz |
| 1984 | A Secure One-Way Hash Function Built from DES. | Robert S. Winternitz |
| 1984 | Searching for Public-Key Cryptosystems. | Neal R. Wagner |
| 1984 | Comparison Paper between the Bell and LaPadula Model and the SRI Model. | T. Taylor |
| 1984 | Executable Logic Specifications: A New Approach to Computer Security. | Deepinder P. Sidhu |
| 1984 | Toward an Understanding of Extensible Architectures for Evaluated Trusted Computer System Products. | M. Schaefer, Roger R. Schell |
| 1984 | The Use of Ada as an Implementation Language in Formally Specified Systems. | Richard Platek |
| 1984 | Design Experiences from the Multilevel Secure MCF Operating System. | John O. Neilson, F. E. Wuebker |
| 1984 | The Interrogator: A Tool for Cryptographic Protocol Security. | Jonathan K. Millen |
| 1984 | A Formal Statement of the MMS Security Model. | John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer |
| 1984 | Multi-Level Security Based on Physical Distribution. | Glenn H. MacEwen, Bruce Burwell, Zhuo-Jun Lu |
| 1984 | Hardware Requirements for Secure Computer Systems: A Framework. | Carl E. Landwehr, John M. Carroll |
| 1984 | Linus IV : An Experiment in Computer Security. | S. Kramer |
| 1984 | Formal Specification of a Multi-Level Secure Operating System. | Tanya Korelsky, David Sutherland |
| 1984 | An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. | Paul A. Karger, A. J. Herbert |
| 1984 | A Gypsy-Based Kernel. | B. A. Hartman |
| 1984 | The Integrity-Lock Approach to Secure Database Management. | Richard D. Graubart |
| 1984 | KVM/37O in Retrospect. | Barry D. Gold, Richard R. Linde, P. F. Cudney |
| 1984 | Unwinding and Inference Control. | Joseph A. Goguen, Jos Meseguer |
| 1984 | Multinet Gateway-Towards A1 Certification. | George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman |