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

NIST · ИТ · 2edf150c870131dbd38d

2edf150c870131dbd38d · IR 8539

Security Property Verification by Transition Model

Официальный источник · 2024-10-08

Полные импортированные сведения карточки
{
  "title_en": "Security Property Verification by Transition Model",
  "designation": "IR 8539",
  "series": "IR",
  "status": "Draft (Obsolete)",
  "date": "2024-10-08",
  "date_original": "10/08/2024",
  "url": "https://csrc.nist.gov/pubs/ir/8539/ipd",
  "source": "CSRC",
  "display_en": "IR 8539 (Initial Public Draft)",
  "authors_en": "",
  "abstract_excerpt_en": "",
  "id": "2edf150c870131dbd38d",
  "sources": [
    "CSRC"
  ],
  "source_records": [
    {
      "title_en": "Security Property Verification by Transition Model",
      "designation": "IR 8539",
      "series": "IR",
      "status": "Draft (Obsolete)",
      "date": "2024-10-08",
      "date_original": "10/08/2024",
      "url": "https://csrc.nist.gov/pubs/ir/8539/ipd",
      "source": "CSRC",
      "display_en": "IR 8539 (Initial Public Draft)",
      "authors_en": "",
      "abstract_excerpt_en": ""
    }
  ],
  "translation_state": "none",
  "possible_title_matches": 2
}