John D. McLean

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