![]() | ![]() |
| 2009 | ||
|---|---|---|
| 2 | David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen: Development of Security Software: A High Assurance Methodology. ICFEM 2009: 266-285 | |
| 2006 | ||
| 1 | D. Randolph Johnson: Cost Effective Software Engineering for Security. FM 2006: 607-611 | |
| 1 | David Hardin | [2] |
| 2 | T. Douglas Hiratzka | [2] |
| 3 | Lucas Wagner | [2] |
| 4 | Michael W. Whalen | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page