917525e828af8e1746b0 · Insights on Formal Methods of Cybersecurity

{
  "title_en": "Insights on Formal Methods of Cybersecurity",
  "designation": "",
  "series": "",
  "status": "",
  "date": "2016-05-27",
  "date_original": "May 27, 2016",
  "url": "https://www.nist.gov/publications/insights-formal-methods-cybersecurity",
  "source": "NIST Publications",
  "display_en": "",
  "authors_en": "Jeffrey M. Voas , Kim B. Schaffer",
  "abstract_excerpt_en": "We asked 7 experts 1 simple question to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems: Please summarize in a paragraph the state of the research and practitioner communities in formal",
  "id": "917525e828af8e1746b0",
  "sources": [
    "NIST Publications"
  ],
  "source_records": [
    {
      "title_en": "Insights on Formal Methods of Cybersecurity",
      "designation": "",
      "series": "",
      "status": "",
      "date": "2016-05-27",
      "date_original": "May 27, 2016",
      "url": "https://www.nist.gov/publications/insights-formal-methods-cybersecurity",
      "source": "NIST Publications",
      "display_en": "",
      "authors_en": "Jeffrey M. Voas , Kim B. Schaffer",
      "abstract_excerpt_en": "We asked 7 experts 1 simple question to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems: Please summarize in a paragraph the state of the research and practitioner communities in formal"
    }
  ],
  "translation_state": "none",
  "possible_title_matches": 1
}