| 1990 | Extending the Brewer-Nash Model to a Multilevel Context. | Catherine Meadows |
| 1990 | Security Models and Information Flow. | John McLean |
| 1990 | Beyond the Pale of MAC and DAC-Defining New Forms of Access Control. | Catherine D. McCollum, J. R. Messing, LouAnna Notargiacomo |
| 1990 | Practical Authentication for Distributed Computing. | J. Linn |
| 1990 | Multiversion Concurrency Control for Multilevel Secure Database Systems. | Thomas F. Keefe, Wei-Tek Tsai |
| 1990 | A VMM Security Kernel for the VAX Architecture. | Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn |
| 1990 | Polyinstantiation Integrity in Multilevel Relations. | Sushil Jajodia, Ravi S. Sandhu |
| 1990 | Transaction Processing in Multilevel-Secure Databases Using Replicated Architecture. | Sushil Jajodia, Boris Kogan |
| 1990 | Integrating an Object-Oriented Data Model with Multilevel Security. | Sushil Jajodia, Boris Kogan |
| 1990 | A Network Security Monitor. | L. Todd Herberlein, Gihan V. Dias, Karl N. Levitt, Biswanath Mukherjee, Jeff Wood, David Wolber |
| 1990 | Verifying a Hardware Security Architecture. | Joshua D. Guttman, H.-P. Ko |
| 1990 | A Little Knowledge Goes a Long Way: Faster Detection of Compromised Data in 2-D Tables. | Dan Gusfield |
| 1990 | Probabilistic Interference. | James W. Gray III |
| 1990 | Reasoning about Belief in Cryptographic Protocols. | Li Gong, Roger M. Needham, Raphael Yahalom |
| 1990 | An Architecture for Practical Delegation in a Distributed System. | Morrie Gasser, Ellen McDermott |
| 1990 | Constructively Using Noninterference to Analyze Systems. | Todd Fine |
| 1990 | Specification and Verification of the ASOS Kernel. | Ben L. Di Vito, Paul H. Palmquist, Eric R. Anderson, Michael L. Johnston |
| 1990 | The Deductive Theory Manager: A Knowledge Based System for Formal Verification. | Ben L. Di Vito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu |
| 1990 | On the Formal Specification and Verification of a Multiparty Session Protocol. | Pau-Chen Cheng, Virgil D. Gligor |
| 1990 | Referential Secrecy. | Rae K. Burns |
| 1990 | Formal Construction of Provably Secure Systems with Cartesiana. | H. Brix, Albert Dietl |
| 1990 | The Role of Trust in Protected Mail. | Martha A. Branstad, W. Curtis Barker, Pamela Cochrane |
| 1990 | SP3 Peer Identification. | W. C. Birnbaum |
| 1990 | Naming and Grouping Privileges to Simplify Security Management in Large Databases. | R. W. Baldwin |
| 1989 | A Security Policy for an A1DBMS (a Trusted Subject). | J. Wilson |