2022 · 会议已接收
从协议规范文档中提取有限状态机以自动合成攻击
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
从 RFC 文本中提取协议有限状态机,方法结合技术词表示学习、零样本文本映射和规则映射,并用提取的状态机合成攻击。
研究范围与局限
在 BGPv4、DCCP、LTP、PPTP、SCTP 和 TCP 六种协议的 RFC 上评估状态机提取,并以 TCP 和 DCCP 为攻击合成案例。
与本合集的关联
从文字规范中重建协议状态机,用于安全分析。
发表与复核详情
- 发表载体
- IEEE Symposium on Security and Privacy 2022
- 发表状态
- 会议已接收
- 出版/提交日期
- 2022 年 2 月 18 日
- 日期依据
- arXiv 首次提交日期;arXiv 备注中写明发表场所。
- arXiv 首次提交
- 2022 年 2 月 18 日
- arXiv
- 2202.09470
- 已复核的 arXiv 版本
- v1
发表场所依据 arXiv 备注。
来源复核于
已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。