Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

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)

Topics

Security and Privacy
general security & privacy