Found 2 results
Filters: Author is McLean, John  [Clear All Filters]
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. PDF icon Heitmeyer etal2006.pdf (265.8 KB)
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. PDF icon McLeanHeitmeyer1995.pdf (103.99 KB)