Abstract Requirements Specification: A New Approach and Its Application. - Constance L. Heitmeyer; John D. McLean (IEEE Trans. Software Eng., 1983)

A Formal Statement of the MMS Security Model. - John D. McLean; Carl E. Landwehr; Constance L. Heitmeyer (S&P, 1984)

A Security Model for Military Message Systems - Carl E. Landwehr; Constance L. Heitmeyer; John D. McLean (ACM Trans. Comput. Syst., 1984)

NRL invitational workshop on testing and proving: two approaches to assurance. - Carl E. Landwehr; Susan L. Gerhart; John D. McLean; Donald I. Good; Nancy Leveson (ACM SIGSOFT Softw. Eng. Notes, 1986)

Is the Trusted Computing Base Concept Fundamentally Flawed? - John D. McLean (S&P, 1997)

A Security Model for Military Message Systems: Retrospective. - Carl E. Landwehr; Constance L. Heitmeyer; John D. McLean (ACSAC, 2001)

Non-Interference: Who Needs It? - Peter Y. A. Ryan; John D. McLean; Jonathan K. Millen; Virgil D. Gligor (CSFW, 2001)

Trusting a trusted system. - John D. McLean (CCS, 2004)

Formal specification and verification of data separation in a separation kernel for an embedded system. - Constance L. Heitmeyer; Myla Archer; Elizabeth I. Leonard; John D. McLean (CCS, 2006)

Information Assurance Technology Forecast 2005. - Virgil D. Gligor; Thomas Haigh; Dick Kemmerer; Carl E. Landwehr; Steven B. Lipner; John D. McLean (IEEE Secur. Priv., 2006)

Letter to the Editor. - John D. McLean; Cormac Herley; Paul C. van Oorschot (IEEE Secur. Priv., 2018)