Development of Security Software: A High Assurance Methodology.

David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen

Browse the full ICFEM paper archive.