NIST · ИТ · f938a554f0a2de1dc419
Formalizing Software Bugs
Knowing what makes a software systems vulnerable to attacks is critical, as software vulnerabilities hurt security, reliability, and availability of the system as a whole. In addition, understanding how an adversary operates is essential to effective cyber
NIST · ИТОфициальный источник · 2014-12-08
{
"title_en": "Formalizing Software Bugs",
"designation": "",
"series": "",
"status": "",
"date": "2014-12-08",
"date_original": "December 8, 2014",
"url": "https://www.nist.gov/publications/formalizing-software-bugs",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Irena Bojanova",
"abstract_excerpt_en": "Knowing what makes a software systems vulnerable to attacks is critical, as software vulnerabilities hurt security, reliability, and availability of the system as a whole. In addition, understanding how an adversary operates is essential to effective cyber",
"id": "f938a554f0a2de1dc419",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Formalizing Software Bugs",
"designation": "",
"series": "",
"status": "",
"date": "2014-12-08",
"date_original": "December 8, 2014",
"url": "https://www.nist.gov/publications/formalizing-software-bugs",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Irena Bojanova",
"abstract_excerpt_en": "Knowing what makes a software systems vulnerable to attacks is critical, as software vulnerabilities hurt security, reliability, and availability of the system as a whole. In addition, understanding how an adversary operates is essential to effective cyber"
}
],
"translation_state": "none"
}