Security and the Composition of Machines. - Dale M. Johnson; F. Javier Thayer (CSFW, 1988)

Stating Security Requirements with Tolerable Sets. - Dale M. Johnson; F. Javier Thayer (ACM Trans. Comput. Syst., 1988)

Security Properties Consistent with the Testing Semantics for Communicating Processes. - Dale M. Johnson; F. Javier Thayer (CSFW, 1989)

Information Flow in Nondeterministic Systems. - J. Todd Wittbold; Dale M. Johnson (S&P, 1990)

Dealing with the dynamics of security: Flexibility with utility in an MLS LAN. - Peter A. Loscocco; William R. Kutz; Dale M. Johnson; Ronald J. Watro (ACSAC, 1992)

Three Applications of Formal Methods at MITRE. - Joshua D. Guttman; Dale M. Johnson (FME, 1994)

Layering Boundary Protections: An Experiment in Information Assurance. - Dale M. Johnson; Lee A. Benzinger (ACSAC, 2000)

Wireless Security: Vulnerabilities and Countermeasures. - Dale M. Johnson (ACSAC, 2002)

Formal Methods and Mathematical Intuition. - Dale M. Johnson (Protocols, Strands, and Logic, 2021)