Development of security software: A high assurance methodology

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationInternational Conference on Formal Engineering Methods
Pages266-285
Number of pages20
StatePublished - 2009

Cite this

Hardin, D., Hiratzka, T. D., Johnson, D. R., Wagner, L. G., & Whalen, M. (2009). Development of security software: A high assurance methodology. In International Conference on Formal Engineering Methods (pp. 266-285)

Development of security software: A high assurance methodology. / Hardin, David; Hiratzka, T Douglas; Johnson, D Randolph; Wagner, Lucas G.; Whalen, Michael.

International Conference on Formal Engineering Methods. 2009. p. 266-285.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardin, D, Hiratzka, TD, Johnson, DR, Wagner, LG & Whalen, M 2009, Development of security software: A high assurance methodology. in International Conference on Formal Engineering Methods. pp. 266-285.
Hardin D, Hiratzka TD, Johnson DR, Wagner LG, Whalen M. Development of security software: A high assurance methodology. In International Conference on Formal Engineering Methods. 2009. p. 266-285
Hardin, David ; Hiratzka, T Douglas ; Johnson, D Randolph ; Wagner, Lucas G. ; Whalen, Michael. / Development of security software: A high assurance methodology. International Conference on Formal Engineering Methods. 2009. pp. 266-285
@inproceedings{85f0f0e4490346148ab295ea575ba55f,
title = "Development of security software: A high assurance methodology",
author = "David Hardin and Hiratzka, {T Douglas} and Johnson, {D Randolph} and Wagner, {Lucas G.} and Michael Whalen",
year = "2009",
language = "Undefined/Unknown",
pages = "266--285",
booktitle = "International Conference on Formal Engineering Methods",

}

TY - GEN

T1 - Development of security software: A high assurance methodology

AU - Hardin, David

AU - Hiratzka, T Douglas

AU - Johnson, D Randolph

AU - Wagner, Lucas G.

AU - Whalen, Michael

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 266

EP - 285

BT - International Conference on Formal Engineering Methods

ER -