Search results for "John McLean"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean	Applying Formal Methods to a Certifiably Secure Software System.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	security, verification, Formal methods, Specification, Software, tools, software verification, security kernels
1	John McLean	Formal methods in security engineering: where we've been, where we are, where we need to go.	FMSE	2007	DBLP DOI BibTeX RDF	formal methods, computer security
1	Ann Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas	COMPSAC Panel Session on Trustworthy Computing.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	John McLean	Trustworthy Software: Why we need it, Why we don't have it, How we can get it.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	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	2002	DBLP BibTeX RDF
1	John McLean	Twenty Years of Formal Methods. (PDF / PS)	IEEE Symposium on Security and Privacy	1999	DBLP DOI BibTeX RDF
1	John McLean	A General Theory of Composition for a Class of ``Possibilistic'' Properties.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	composition, Computer security, information flow, security models
1	James W. Gray III, John McLean	Using temporal logic to specify and verify cryptographic protocols.	CSFW	1995	DBLP DOI BibTeX RDF	specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify
1	Oliver Costich, John McLean, John P. McDermott	Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model.	CSFW	1994	DBLP BibTeX RDF
1	John McLean	Proving Noninterference and Functional Correctness Using Traces.	Journal of Computer Security	1992	DBLP BibTeX RDF
1	John McLean	The Specification and Modeling of Computer Security.	IEEE Computer	1990	DBLP DOI BibTeX RDF
1	John McLean	Security Models and Information Flow.	IEEE Symposium on Security and Privacy	1990	DBLP BibTeX RDF
1	John McLean	Reasoning About Security Models.	IEEE Symposium on Security and Privacy	1987	DBLP BibTeX RDF
1	John McLean	A Comment on the `Basic Security Theorem' of Bell and LaPadula.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
1	John McLean	A Formal Method for the Abstract Specification of Software.	J. ACM	1984	DBLP DOI BibTeX RDF
1	John McLean	A Complete System of Temporal Logic for Specification Schemata.	Logic of Programs	1983	DBLP DOI BibTeX RDF

Publications of "John McLean" ( http://dblp.L3S.de/Authors/John_McLean )