基于提示链的有限状态机抽取智能体流程
计算与语言
2025-07-16 v1 人工智能
网络与互联网体系结构
摘要
有限状态机 (FSM) 对建模网络协议的运行逻辑至关重要，能够实现验证、分析和�洞发现。然而，现有的 FSM 抽取技术面临可扩展性、覆盖不完整和自然语言规范模糊等局限。本文提出 FlowFSM，一种新型智能体框架，利用大语言模型 (LLM) 结合提示链和链式思考，从原始 RFC 文档中准确抽取 FSM。FlowFSM 系统性地处理协议规范，识别状态转换，并通过链式智能体输出构建结构化规则书。实验评估覆盖 FTP 和 RTSP 协议，表明 FlowFSM 在高提取精度方面取得佳绩，同时最小化幻觉转换。我们的发现凸显了基于智能体的 LLM 系统在协议分析和 FSM 推断方面为网络安全和逆向工程应用所带来的潜力。
引用
@article{arxiv.2507.11222,
title = {An Agentic Flow for Finite State Machine Extraction using Prompt Chaining},
author = {Fares Wael and Youssef Maklad and Ali Hamdi and Wael Elsersy},
journal= {arXiv preprint arXiv:2507.11222},
year = {2025}
}