Found 2 results
Filters: Author is McLean, John  [Clear All Filters]
2006
Heitmeyer, C. L., M. Archer, E. Leonard, and J. McLean, "Formal specification and verification of data separation in a separation kernel for an embedded system", 13th ACM Conference on Computer and Communications Security (CCS 2006), Alexandria, Virginia, pp. 346-355, 2006.
1995
McLean, J., and C. L. Heitmeyer, "High Assurance Computer Systems: A Research Agenda", America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda, Maryland, 1995.