{
  "added_at": "2026-11-06",
  "arxiv_id": "2202.09470",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Maria Leonor Pacheco",
    "Max von Hippel",
    "Ben Weintraub",
    "Dan Goldwasser",
    "Cristina Nita-Rotaru"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-attack-synthesis-fsm.bib",
  "code_url": null,
  "date_basis": "First arXiv submission date; the arXiv comment names the venue.",
  "date_basis_zh": "arXiv 首次提交日期；arXiv 备注中写明发表场所。",
  "date_precision": "day",
  "description_en": "Extracts protocol FSMs from RFC prose using technical word representations, zero-shot text mapping, and rules, then uses the extracted FSMs to synthesize attacks.",
  "description_zh": "从 RFC 文本中提取协议有限状态机，方法结合技术词表示学习、零样本文本映射和规则映射，并用提取的状态机合成攻击。",
  "doi": null,
  "entry_url": "https://awesomerea.org/papers/paper-attack-synthesis-fsm/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-attack-synthesis-fsm/",
  "evidence_urls": [
    "https://arxiv.org/abs/2202.09470"
  ],
  "first_arxiv_date": "2022-02-18",
  "id": "paper-attack-synthesis-fsm",
  "json_url": "https://awesomerea.org/papers/paper-attack-synthesis-fsm/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-attack-synthesis-fsm/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-attack-synthesis-fsm/index.md",
  "metadata_notes": "The arXiv comment reads: To appear in IEEE Security and Privacy, 2022",
  "metadata_notes_zh": "发表场所依据 arXiv 备注。",
  "pdf_url": "https://arxiv.org/pdf/2202.09470",
  "project_url": null,
  "publication_date": "2022-02-18",
  "publication_status": "conference-accepted",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "Evaluates FSM extraction on RFCs for six protocols: BGPv4, DCCP, LTP, PPTP, SCTP, and TCP. Attack synthesis case studies cover TCP and DCCP.",
  "scope_limitations_zh": "在 BGPv4、DCCP、LTP、PPTP、SCTP 和 TCP 六种协议的 RFC 上评估状态机提取，并以 TCP 和 DCCP 为攻击合成案例。",
  "targets": [
    "protocol"
  ],
  "title": "Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents",
  "title_zh": "从协议规范文档中提取有限状态机以自动合成攻击",
  "url": "https://arxiv.org/abs/2202.09470",
  "venue": "IEEE Symposium on Security and Privacy 2022",
  "verification": "source-reviewed",
  "verified_at": "2026-11-06",
  "why_fits_en": "Reconstructs protocol state machines from prose specifications for security analysis.",
  "why_fits_zh": "从文字规范中重建协议状态机，用于安全分析。",
  "year": 2022
}