What Happened to Formal Methods for Security?
SEP 06, 2016 18:10 PM
A+ A A-
What Happened to Formal Methods for Security?

What Happened to Formal Methods for Security?

Kim Schaffer, National Institute of Standards and Technology
Jeffrey Voas, National Institute of Standards and Technology

A panel of seven experts discusses the state of the practice of formal methods in software development, with a focus on FM's relevance to security.

Read full article

FIRST
PREV
NEXT
LAST
Page(s):
[%= name %]
[%= createDate %]
[%= comment %]
Share this:
Please login to enter a comment:
 

Computing Now Blogs
Business Intelligence
by Drew Hendricks
by Keith Peterson
Cloud Computing
A Cloud Blog: by Irena Bojanova
The Clear Cloud: by STC Cloud Computing
Careers
Computing Careers: by Lori Cameron
Display Technologies
Enterprise Solutions
Enterprise Thinking: by Josh Greenbaum
Healthcare Technologies
The Doctor Is In: Dr. Keith W. Vrbicky
Heterogeneous Systems
Hot Topics
NealNotes: by Neal Leavitt
Industry Trends
Internet Of Things
Sensing IoT: by Irena Bojanova

 

RESET