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

Insights on Formal Methods of Cybersecurity

Published: May 27, 2016
Citation: Computer (IEEE Computer) vol. 49, no. 5, (May 2016) pp. 102-105

Author(s)

Jeffrey Voas (NIST), Kim Schaffer (NIST)

Abstract

Keywords

cybertrust; cybersecurity; formal methods; security
Control Families

None selected

Documentation

Publication:
Journal Article (DOI)

Supplemental Material:
Preprint (pdf)

Document History:
05/27/16: Journal Article (Final)

Topics

Security and Privacy
general security & privacy