Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Journal Article

Whatever Happened to Formal Methods for Security?

Published: August 23, 2016
Citation: Computer (IEEE Computer) vol. 49, no. 8, (August 2016) pp. 70-79

Author(s)

Kim Schaffer (NIST), Jeffrey Voas (NIST)

Abstract

Keywords

cyber-security; tools; techniques; conferences; formal methods; proof of correctness
Control Families

None selected

Documentation

Publication:
Article

Supplemental Material:
Preprint (pdf)