⌕ Поиск по атласу

NIST · ИТ · 573026e4cdcdd67d6848

573026e4cdcdd67d6848 · Model Checking for Verification of Mandatory Access Control Models and Properties

Model Checking for Verification of Mandatory Access Control Models and Properties

Mandatory access control (MAC) mechanisms control which users or processes have access to which resources in a system. MAC policies are increasingly specified to facilitate managing and maintaining access control. However, the correct specification of the

Официальный источник · 2011-02-28

Полные импортированные сведения карточки
{
  "title_en": "Model Checking for Verification of Mandatory Access Control Models and Properties",
  "designation": "",
  "series": "",
  "status": "",
  "date": "2011-02-28",
  "date_original": "February 28, 2011",
  "url": "https://www.nist.gov/publications/model-checking-verification-mandatory-access-control-models-and-properties",
  "source": "NIST Publications",
  "display_en": "",
  "authors_en": "Chung Tong Hu , David R. Kuhn , Tao Xie, J Hwang",
  "abstract_excerpt_en": "Mandatory access control (MAC) mechanisms control which users or processes have access to which resources in a system. MAC policies are increasingly specified to facilitate managing and maintaining access control. However, the correct specification of the",
  "id": "573026e4cdcdd67d6848",
  "sources": [
    "NIST Publications"
  ],
  "source_records": [
    {
      "title_en": "Model Checking for Verification of Mandatory Access Control Models and Properties",
      "designation": "",
      "series": "",
      "status": "",
      "date": "2011-02-28",
      "date_original": "February 28, 2011",
      "url": "https://www.nist.gov/publications/model-checking-verification-mandatory-access-control-models-and-properties",
      "source": "NIST Publications",
      "display_en": "",
      "authors_en": "Chung Tong Hu , David R. Kuhn , Tao Xie, J Hwang",
      "abstract_excerpt_en": "Mandatory access control (MAC) mechanisms control which users or processes have access to which resources in a system. MAC policies are increasingly specified to facilitate managing and maintaining access control. However, the correct specification of the"
    }
  ],
  "translation_state": "none",
  "possible_title_matches": 1
}