John D. McLean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1984–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CCS | 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 |
| 2004 | CCS | Trusting a trusted system. | John D. McLean |
| 2001 | ACSAC | A Security Model for Military Message Systems: Retrospective. | Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean |
| 1997 | SP | Is the Trusted Computing Base Concept Fundamentally Flawed? | John D. McLean |
| 1984 | SP | A Formal Statement of the MMS Security Model. | John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer |