Rapid prototyping by means of abstract module specifications written as trace axioms. - John K. Dixon; John McLean; David Lorge Parnas (Rapid Prototyping, 1982)

A Complete System of Temporal Logic for Specification Schemata. - John McLean (Logic of Programs, 1983)

A Formal Method for the Abstract Specification of Software. - John McLean (J. ACM, 1984)

A Comment on the 'Basic Security Theorem' of Bell and LaPadula. - John McLean (Inf. Process. Lett., 1985)

Two dogmas of program specification. - John McLean (ACM SIGSOFT Softw. Eng. Notes, 1985)

Reasoning About Security Models. - John McLean (S&P, 1987)

The algebra of security. - John McLean (S&P, 1988)

Security Models and Information Flow. - John McLean (S&P, 1990)

The Specification and Modeling of Computer Security. - John McLean (Computer, 1990)

Proving Noninterference and Functional Correctness Using Traces. - John McLean (J. Comput. Secur., 1992)

New paradigms for high assurance software. - John McLean (NSPW, 1993)

Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. - Oliver Costich; John McLean; John P. McDermott (CSFW, 1994)

A general theory of composition for trace sets closed under selective interleaving functions. - John McLean (S&P, 1994)

Using temporal logic to specify and verify cryptographic protocols. - James W. Gray III; John McLean (CSFW, 1995)

A General Theory of Composition for a Class of "Possibilistic'' Properties. - John McLean (IEEE Trans. Software Eng., 1996)

Twenty Years of Formal Methods. - John McLean (S&P, 1999)

The STCL test tools architecture. - Clay Williams; Harm Sluiman; David Pitcher; Marius Slavescu; Jim Spratley; Mark Brodhun; John McLean; Charles Rankin; Karen Rosengren (IBM Syst. J., 2002)

Baker & McKenzie's regular article tracking developments in EU law relating to IP, IT & telecommunications. - Jonathan Westwell; Miriam Andrews; John McLean; Katrina Mitchell (Comput. Law Secur. Rev., 2005)

Trustworthy Software: Why we need it, Why we don't have it, How we can get it. - John McLean (COMPSAC (1), 2006)

COMPSAC Panel Session on Trustworthy Computing. - Ann Miller; John McLean; O. Sami Saydjari; Jeffrey M. Voas (COMPSAC (1), 2006)

Baker & McKenzie's annual review of developments in EU law relating to IP, IT and telecommunications. - Jonathan Westwell; Miriam Andrews; John McLean; Katrina Mitchell (Comput. Law Secur. Rev., 2006)

Formal methods in security engineering: where we've been, where we are, where we need to go. - John McLean (FMSE, 2007)

Applying Formal Methods to a Certifiably Secure Software System. - Constance L. Heitmeyer; Myla Archer; Elizabeth I. Leonard; John McLean (IEEE Trans. Software Eng., 2008)