NIST · ИТ · 95435c35fa398a9556a1
Whatever Happened to Formal Methods for Security?
We asked 7 experts 7 questions to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems. We were curious as to whether this successful methodology in "safety-critical" has succeeded as well for
NIST · ИТОфициальный источник · 2016-08-23
{
"title_en": "Whatever Happened to Formal Methods for Security?",
"designation": "",
"series": "",
"status": "",
"date": "2016-08-23",
"date_original": "August 23, 2016",
"url": "https://www.nist.gov/publications/whatever-happened-formal-methods-security",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Kim B. Schaffer , Jeffrey M. Voas",
"abstract_excerpt_en": "We asked 7 experts 7 questions to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems. We were curious as to whether this successful methodology in \"safety-critical\" has succeeded as well for",
"id": "95435c35fa398a9556a1",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Whatever Happened to Formal Methods for Security?",
"designation": "",
"series": "",
"status": "",
"date": "2016-08-23",
"date_original": "August 23, 2016",
"url": "https://www.nist.gov/publications/whatever-happened-formal-methods-security",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Kim B. Schaffer , Jeffrey M. Voas",
"abstract_excerpt_en": "We asked 7 experts 7 questions to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems. We were curious as to whether this successful methodology in \"safety-critical\" has succeeded as well for"
}
],
"translation_state": "none",
"possible_title_matches": 1
}