D. Randolph Johnson

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen
Development of Security Software: A High Assurance Methodology. ICFEM (2009)
D. Randolph Johnson
Cost Effective Software Engineering for Security. FM (2006)