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

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:
https://doi.org/10.1109/MC.2016.131

Supplemental Material:
Preprint (pdf)

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

Topics

Security and Privacy

general security & privacy