Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

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

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

None selected

Documentation

Publication:
Article

Supplemental Material:
Article (PubReader) (pdf)

Document History:
08/23/16: Journal Article (Final)