The Community for Technology Leaders
Green Image
Issue No. 05 - May (2016 vol. 49)
ISSN: 0018-9162
pp: 102-105
Jeffrey Voas , IEEE Fellow
Kim Schaffer , National Institute of Standards and Technology
ABSTRACT
Seven experts weigh in on the current use and practice of formal methods in cybersecurity.
INDEX TERMS
Frequency modulation, Software engineering, Computer security, Computational modeling, NIST
CITATION
100 ms
(Ver 3.3 (11022016))