NIST · ИТ · a59e7f5d93555f6734d9
Security Property Verification by Transition Model
Verifying the security properties of access control policies is a complex and critical task. The policies and their implementation often do not explicitly express their underlying semantics, which may be implicitly embedded in the logic flows of policy
NIST · ИТОфициальный источник · 2025-01-31
{
"title_en": "Security Property Verification by Transition Model",
"designation": "",
"series": "",
"status": "",
"date": "2025-01-31",
"date_original": "January 31, 2025",
"url": "https://www.nist.gov/publications/security-property-verification-transition-model",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Chung Tong Hu",
"abstract_excerpt_en": "Verifying the security properties of access control policies is a complex and critical task. The policies and their implementation often do not explicitly express their underlying semantics, which may be implicitly embedded in the logic flows of policy",
"id": "a59e7f5d93555f6734d9",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Security Property Verification by Transition Model",
"designation": "",
"series": "",
"status": "",
"date": "2025-01-31",
"date_original": "January 31, 2025",
"url": "https://www.nist.gov/publications/security-property-verification-transition-model",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Chung Tong Hu",
"abstract_excerpt_en": "Verifying the security properties of access control policies is a complex and critical task. The policies and their implementation often do not explicitly express their underlying semantics, which may be implicitly embedded in the logic flows of policy"
}
],
"translation_state": "none",
"possible_title_matches": 2
}