John McLean

	2008
16		Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean: Applying Formal Methods to a Certifiably Secure Software System. IEEE Trans. Software Eng. 34(1): 82-98 (2008)
	2007
15		John McLean: Formal methods in security engineering: where we've been, where we are, where we need to go. FMSE 2007: 1
	2006
14		Ann Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas: COMPSAC Panel Session on Trustworthy Computing. COMPSAC (1) 2006: 31
13		John McLean: Trustworthy Software: Why we need it, Why we don't have it, How we can get it. COMPSAC (1) 2006: 32-33
	2002
12		Clay Williams, Harm Sluiman, David Pitcher, Marius Slavescu, Jim Spratley, Mark Brodhun, John McLean, Charles Rankin, Karen Rosengren: The STCL test tools architecture. IBM Systems Journal 41(1): 74-88 (2002)
	1999
11		John McLean: Twenty Years of Formal Methods. IEEE Symposium on Security and Privacy 1999: 115-116
	1996
10		John McLean: A General Theory of Composition for a Class of ``Possibilistic'' Properties. IEEE Trans. Software Eng. 22(1): 53-67 (1996)
	1995
9		James W. Gray III, John McLean: Using temporal logic to specify and verify cryptographic protocols. CSFW 1995: 108-
	1994
8		Oliver Costich, John McLean, John P. McDermott: Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. CSFW 1994: 60-65
	1992
7		John McLean: Proving Noninterference and Functional Correctness Using Traces. Journal of Computer Security 1(1): 37-58 (1992)
	1990
6		John McLean: Security Models and Information Flow. IEEE Symposium on Security and Privacy 1990: 180-189
5		John McLean: The Specification and Modeling of Computer Security. IEEE Computer 23(1): 9-16 (1990)
	1987
4		John McLean: Reasoning About Security Models. IEEE Symposium on Security and Privacy 1987: 123-133
	1985
3		John McLean: A Comment on the `Basic Security Theorem' of Bell and LaPadula. Inf. Process. Lett. 20(2): 67-70 (1985)
	1984
2		John McLean: A Formal Method for the Abstract Specification of Software. J. ACM 31(3): 600-627 (1984)
	1983
1		John McLean: A Complete System of Temporal Logic for Specification Schemata. Logic of Programs 1983: 360-370

Coauthor Index

1	Myla Archer	[16]
2	Mark Brodhun	[12]
3	Oliver Costich	[8]
4	James W. Gray III	[9]
5	Constance L. Heitmeyer (Connie Heitmeyer)	[16]
6	Elizabeth I. Leonard	[16]
7	John P. McDermott	[8]
8	Ann Miller	[14]
9	David Pitcher	[12]
10	Charles Rankin	[12]
11	Karen Rosengren	[12]
12	O. Sami Saydjari	[14]
13	Marius Slavescu	[12]
14	Harm Sluiman	[12]
15	Jim Spratley	[12]
16	Jeffrey M. Voas	[14]
17	Clay Williams	[12]

Colors in the list of coauthors