| 1981 | Access Flow: A Protection Model which Integrates Access Control and Information Flow. | Allen Stoughton |
| 1981 | Processing Multilevel Secure Objects. | Daniel J. Solomon |
| 1981 | Half a Loaf is Better than None: Some Novel Message Integrity Problems. | Gustavus J. Simmons |
| 1981 | Mechanism Sufficiency Validation by Assignment. | Lawrence J. Shirley, Roger R. Schell |
| 1981 | On the Transport of Privileges. | Naftaly H. Minsky |
| 1981 | Military Message Systems: Applying a Security Model. | James S. Miller, Robert G. Resnick |
| 1981 | Information Flow Analysis of Formal Specifications. | Jonathan K. Millen |
| 1981 | Required Cryptographic Authentication Criteria for Electronic Funds Transfer Systems. | Carl H. Meyer, Stephen M. Matyas, Richard E. Lennon |
| 1981 | A Complete Protection Model. | Luke C. Dion |
| 1981 | Restriciting Queries that Might Lead to Compromise. | Dorothy E. Denning |
| 1981 | The Design of Secure CPU-Multiplexed Computer Systems: The Master/Slave Architecture. | George I. Davida, Jon Livesey |
| 1981 | The Structure of a Security Kernel for the Z8000 Multiprocessor. | Lyle A. Cox Jr., Roger R. Schell |
| 1981 | The Role of a Well Defined Auditing Process in the Enforcement of Privacy Policy and Data Security. | David A. Bonyun |
| 1981 | Security Proofs for Information Protection Systems. | G. R. Blakley, Laif Swanson |
| 1981 | Security Kernels: A Solution or a Problem? | Stanley R. Ames Jr. |
| 1980 | The Trusted Function in Secure Decentralized Processing. | P. Tucker Withington |
| 1980 | An Overview of Transborder Data Flow Issues. | Rein Turn |
| 1980 | Secure Communications in the Presence of Pervasive Deceit. | Gustavus J. Simmons |
| 1980 | The Cryptographic Security of Compact Knapsacks (Preliminary Report). | Adi Shamir |
| 1980 | A Module Definition Facility for Access Control in Distributed Data Base Systems. | Reind P. van de Riet, Martin L. Kersten, Anthony I. Wasserman |
| 1980 | Practical Data-Swapping: The First Steps. | Steven P. Reiss |
| 1980 | Aspects of Data Security in General-Purpose Data Base Management Systems. | S. M. Miranda |
| 1980 | Protocols for Public Key Cryptosystems. | Ralph C. Merkle |
| 1980 | On Security Flow Analysis in Computer Systems (Preliminary Report). | Lishing Liu |
| 1980 | A Model to Describe Protection Problems. | Gerald Kreissig |