John McLean

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