MLchartDataset catalogue

Formal policy model

Term · Cybersecurity · MLC-T-CYB-001791

A description of specific behaviors or security policies using formal languages, thus enabling the correctness of those behaviors/policies to be formally proven.

Table 1. Record
IdentifierMLC-T-CYB-001791
FieldCybersecurity
ReferencesCNSSI 4009-2022 from NIST SP 800-53 Rev. 5 (adapted from SA-17(1)); NIST CSRC Glossary
Record as JSON 
{
  "id": "MLC-T-CYB-001791",
  "term": "Formal policy model",
  "field": "Cybersecurity",
  "definition": "A description of specific behaviors or security policies using formal languages, thus enabling the correctness of those behaviors/policies to be formally proven.",
  "references": [
    "CNSSI 4009-2022 from NIST SP 800-53 Rev. 5 (adapted from SA-17(1))",
    "NIST CSRC Glossary"
  ],
  "url": "https://mlchart.com/terminology/cybersecurity/formal-policy-model/"
}

Record 1,784 of 4,669 in Cybersecurity terminology (MLC-0102). Request the full dataset.