# 从协议规范文档中提取有限状态机以自动合成攻击

> 从 RFC 文本中提取协议有限状态机，方法结合技术词表示学习、零样本文本映射和规则映射，并用提取的状态机合成攻击。

- 作者：Maria Leonor Pacheco; Max von Hippel; Ben Weintraub; Dan Goldwasser; Cristina Nita-Rotaru
- 原标题：Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
- 发表载体：IEEE Symposium on Security and Privacy 2022
- 发表状态：会议已接收
- 出版／提交日期：2022 年 2 月 18 日
- 日期依据：arXiv 首次提交日期；arXiv 备注中写明发表场所。
- arXiv 首次提交：2022 年 2 月 18 日
- arXiv：2202.09470
- 已复核的 arXiv 版本：v1
- 来源复核于：2026-11-06
- 收录于：2026-11-06
- 原始论文：<https://arxiv.org/abs/2202.09470>
- PDF：<https://arxiv.org/pdf/2202.09470>
- BibTeX：<https://awesomerea.org/papers/citations/paper-attack-synthesis-fsm.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-attack-synthesis-fsm/>
- 记录 JSON：<https://awesomerea.org/papers/paper-attack-synthesis-fsm/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-attack-synthesis-fsm/index.md)

## 研究范围与局限

在 BGPv4、DCCP、LTP、PPTP、SCTP 和 TCP 六种协议的 RFC 上评估状态机提取，并以 TCP 和 DCCP 为攻击合成案例。

## 与本合集的关联

从文字规范中重建协议状态机，用于安全分析。

## 发表与复核说明

发表场所依据 arXiv 备注。

## 一手来源

1. <https://arxiv.org/abs/2202.09470>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。