U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

This is an archive
(replace .gov by .rip)

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)