John D. McLean

Publication Activity (10 Years)

Years Active: 1983-2018
Publications (10 Years): 1

Publications

John D. McLean, Cormac Herley, Paul C. van Oorschot
Letter to the Editor. IEEE Secur. Priv. 16 (3) (2018)
Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean
Formal specification and verification of data separation in a separation kernel for an embedded system. CCS (2006)
Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean
Information Assurance Technology Forecast 2005. IEEE Secur. Priv. 4 (1) (2006)
John D. McLean
Trusting a trusted system. CCS (2004)
Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean
A Security Model for Military Message Systems: Retrospective. ACSAC (2001)
Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor
Non-Interference: Who Needs It? CSFW (2001)
John D. McLean
Is the Trusted Computing Base Concept Fundamentally Flawed? IEEE Symposium on Security and Privacy (1997)
Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson
NRL invitational workshop on testing and proving: two approaches to assurance. ACM SIGSOFT Softw. Eng. Notes 11 (5) (1986)
John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer
A Formal Statement of the MMS Security Model. IEEE Symposium on Security and Privacy (1984)
Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean
A Security Model for Military Message Systems ACM Trans. Comput. Syst. 2 (3) (1984)
Constance L. Heitmeyer, John D. McLean
Abstract Requirements Specification: A New Approach and Its Application. IEEE Trans. Software Eng. 9 (5) (1983)