NIST · ИТ · 44caa4839fd24938440f
General Methods for Access Control Policy Verification
Access control systems are among the most critical of computer security components. Faulty policies, misconfigurations, or flaws in software implementations can result in serious vulnerabilities. To formally and precisely capture the security properties
NIST · ИТОфициальный источник · 2016-12-19
{
"title_en": "General Methods for Access Control Policy Verification",
"designation": "",
"series": "",
"status": "",
"date": "2016-12-19",
"date_original": "December 19, 2016",
"url": "https://www.nist.gov/publications/general-methods-access-control-policy-verification",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Chung Tong Hu , David R. Kuhn",
"abstract_excerpt_en": "Access control systems are among the most critical of computer security components. Faulty policies, misconfigurations, or flaws in software implementations can result in serious vulnerabilities. To formally and precisely capture the security properties",
"id": "44caa4839fd24938440f",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "General Methods for Access Control Policy Verification",
"designation": "",
"series": "",
"status": "",
"date": "2016-12-19",
"date_original": "December 19, 2016",
"url": "https://www.nist.gov/publications/general-methods-access-control-policy-verification",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Chung Tong Hu , David R. Kuhn",
"abstract_excerpt_en": "Access control systems are among the most critical of computer security components. Faulty policies, misconfigurations, or flaws in software implementations can result in serious vulnerabilities. To formally and precisely capture the security properties"
}
],
"translation_state": "none",
"possible_title_matches": 1
}