Verification-Guided Specification Synthesis with Large Language Models for Intrusion Detection Rules

本文针对物联网设备面临的持续网络攻击，提出了一种基于大语言模型（LLM）的验证引导式规范合成框架，用于从HTTP请求流量中自动生成Suricata入侵检测系统（IDS）规则。当前，将观测到的攻击流量转化为可部署的IDS规则主要依赖人工，效率

历史摘要 · 未重新核验 · arXiv cs.CR