Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.

该论文提出了一种从协议规范文档（RFC）中自动提取有限状态机（FSM）的数据驱动方法，并将其应用于自动化攻击发现。网络协议的安全验证通常依赖攻击者合成或基于模型的模糊测试，但这些技术需要协议的正式表示，通常为FSM。然而，许多协议仅以英文散

历史摘要 · 未重新核验 · IEEE S&P