| 1986 | Views for Multilevel Database Security. | Dorothy E. Denning, Selim G. Akl, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell, Mark R. Heckman |
| 1986 | An Intrusion-Detection Model. | Dorothy E. Denning |
| 1986 | An Analysis of the Differences Between the Computer Security Practices in the Military and Private Sectors. | L. S. Chalmers |
| 1986 | The Trusted Domain Machine: A Secure Communication Device for Security Guard Applications. | R. A. Carlson, Teresa F. Lunt |
| 1986 | A Global Authentication Service without Global Trust. | Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder |
| 1985 | Polonium: An Identity Authentication System. | Raymond M. Wong, Thomas A. Berson, Richard J. Feiertag |
| 1985 | Network Security Overview. | Stephen T. Walker |
| 1985 | Negotiated Access Control. | Kishore S. Swaminathan |
| 1985 | How to (Selectively) Broadcast A Secret. | Gustavus J. Simmons |
| 1985 | Analysis of Acyclic Attenuating Systems for the SSR Protection Model. | Ravinderpal Singh Sandhu |
| 1985 | Labeling Screen Output. | Mindy Rudell |
| 1985 | The Restricted Access Processor An Example of Formal Verification. | Norman Proctor |
| 1985 | The Implementation of Secure Entity-Relationship Databases. | Burton H. Patkau, David L. Tennenhouse |
| 1985 | Rounding and Inference Controlin Conceptual Models for Statistical Databases. | Gultekin zsoyoglu, Tzong-An Su |
| 1985 | A Fast Signature Scheme Based on Quadratic Inequalities. | Tatsuski Okamoto, Akira Shibaishi |
| 1985 | Structuring Systems for Formal Verification. | Richard B. Neely, James W. Freeman |
| 1985 | An Information Flow Tool for Gypsy. | John McHugh, Donald L. Good |
| 1985 | Computer Privacy in America: Conflicting Practices and Policy Choices. | Ben G. Matley |
| 1985 | Design Overview for Retrofitting Integrity-Lock Architecture onto a Commercial DBMS. | Richard D. Graubart, Kevin J. Duffy |
| 1985 | Analysis of the Hardware Verification of the Honeywell SCOMP. | Virgil D. Gligor |
| 1985 | Security Considerations for Autonomous Robots. | Douglas W. Gage |
| 1985 | Non-Discretionary Controls for Inter-Organization Networks. | Deborah Estrin |
| 1985 | Issues in Discretionary Access Control. | Deborah Downs, Jerzy R. Rub, Kenneth C. Kung, Carole S. Jordan |
| 1985 | Commutative Filters for Reducing Inference Threats in Multilevel Database Systems. | Dorothy E. Denning |
| 1985 | Secure Ada Target: Issues, System Design, and Verification. | William Earl Boebert, R. Y. Kaln, William D. Young, S. A. Hansohn |