Government, industry, and academia: Teaming to design high confidence information security applications. - W. B. Martin; P. D. White; W. Mark Vanfleet (FMSP, 2000)

Creating High Confidence in a Separation Kernel. - W. B. Martin; P. D. White; F. S. Taylor (Autom. Softw. Eng., 2002)