John D. McLean

According to our database, John D. McLean authored at least 11 papers between 1983 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Letter to the Editor.

John D. McLean, Cormac Herley, Paul C. van Oorschot

IEEE Secur. Priv., 2018

2006

Information Assurance Technology Forecast 2005.

Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean

IEEE Secur. Priv., 2006

Formal specification and verification of data separation in a separation kernel for an embedded system.

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2004

Trusting a trusted system.

John D. McLean

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2001

Non-Interference: Who Needs It?

Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

A Security Model for Military Message Systems: Retrospective.

Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean

Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

1997

Is the Trusted Computing Base Concept Fundamentally Flawed?

John D. McLean

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1986

NRL invitational workshop on testing and proving: two approaches to assurance.

Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson

ACM SIGSOFT Softw. Eng. Notes, 1986

1984

A Security Model for Military Message Systems

Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean

ACM Trans. Comput. Syst., 1984

A Formal Statement of the MMS Security Model.

John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1983

Abstract Requirements Specification: A New Approach and Its Application.

Constance L. Heitmeyer, John D. McLean

IEEE Trans. Software Eng., 1983