NIST · ИТ · dc48ef4dfb646c1b54c1
Property Verification for Generic Access Control Models
To formally and precisely capture the security properties that access control should adhere to, access control models are usually written to bridge the rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a new general
NIST · ИТОфициальный источник · 2008-12-20
{
"title_en": "Property Verification for Generic Access Control Models",
"designation": "",
"series": "",
"status": "",
"date": "2008-12-20",
"date_original": "December 20, 2008",
"url": "https://www.nist.gov/publications/property-verification-generic-access-control-models",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Chung Tong Hu , David R. Kuhn , Tao Xie",
"abstract_excerpt_en": "To formally and precisely capture the security properties that access control should adhere to, access control models are usually written to bridge the rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a new general",
"id": "dc48ef4dfb646c1b54c1",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Property Verification for Generic Access Control Models",
"designation": "",
"series": "",
"status": "",
"date": "2008-12-20",
"date_original": "December 20, 2008",
"url": "https://www.nist.gov/publications/property-verification-generic-access-control-models",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Chung Tong Hu , David R. Kuhn , Tao Xie",
"abstract_excerpt_en": "To formally and precisely capture the security properties that access control should adhere to, access control models are usually written to bridge the rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a new general"
}
],
"translation_state": "none",
"possible_title_matches": 1
}