John McLean

Publication Activity (10 Years)

Years Active: 1982-2008
Publications (10 Years): 0

Publications

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) (2008)
John McLean
Formal methods in security engineering: where we've been, where we are, where we need to go. FMSE (2007)
Jonathan Westwell, Miriam Andrews, John McLean, Katrina Mitchell
Baker & McKenzie's annual review of developments in EU law relating to IP, IT and telecommunications. Comput. Law Secur. Rev. 22 (1) (2006)
John McLean
Trustworthy Software: Why we need it, Why we don't have it, How we can get it. COMPSAC (1) (2006)
Ann Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas
COMPSAC Panel Session on Trustworthy Computing. COMPSAC (1) (2006)
Jonathan Westwell, Miriam Andrews, John McLean, Katrina Mitchell
Baker & McKenzie's regular article tracking developments in EU law relating to IP, IT & telecommunications. Comput. Law Secur. Rev. 21 (6) (2005)
Clay Williams, Harm Sluiman, David Pitcher, Marius Slavescu, Jim Spratley, Mark Brodhun, John McLean, Charles Rankin, Karen Rosengren
The STCL test tools architecture. IBM Syst. J. 41 (1) (2002)
John McLean
Twenty Years of Formal Methods. IEEE Symposium on Security and Privacy (1999)
John McLean
A General Theory of Composition for a Class of "Possibilistic'' Properties. IEEE Trans. Software Eng. 22 (1) (1996)
James W. Gray III, John McLean
Using temporal logic to specify and verify cryptographic protocols. CSFW (1995)
Oliver Costich, John McLean, John P. McDermott
Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. CSFW (1994)
John McLean
A general theory of composition for trace sets closed under selective interleaving functions. IEEE Symposium on Security and Privacy (1994)
John McLean
New paradigms for high assurance software. NSPW (1993)
John McLean
Proving Noninterference and Functional Correctness Using Traces. J. Comput. Secur. 1 (1) (1992)
John McLean
The Specification and Modeling of Computer Security. Computer 23 (1) (1990)
John McLean
Security Models and Information Flow. IEEE Symposium on Security and Privacy (1990)
John McLean
The algebra of security. IEEE Symposium on Security and Privacy (1988)
John McLean
Reasoning About Security Models. IEEE Symposium on Security and Privacy (1987)
John McLean
A Comment on the 'Basic Security Theorem' of Bell and LaPadula. Inf. Process. Lett. 20 (2) (1985)
John McLean
Two dogmas of program specification. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
John McLean
A Formal Method for the Abstract Specification of Software. J. ACM 31 (3) (1984)
John McLean
A Complete System of Temporal Logic for Specification Schemata. Logic of Programs (1983)
John K. Dixon, John McLean, David Lorge Parnas
Rapid prototyping by means of abstract module specifications written as trace axioms. Rapid Prototyping (1982)