研究人员开发了一个半自动流程，以弥合安全扫描器输出与用于代理式渗透测试的符号逻辑框架之间的差距。该系统将 Trivy、Semgrep 和 Nmap 等工具的证据转换为 MulVAL（一个逻辑攻击图生成器）可用的格式。该流程有助于构建特定领域的 Datalog 规则，使 MulVAL/XSB 能够推断攻击路径。该系统在 54 个 Web Capture-the-Flag 任务上进行了评估，证明了其可行性和实际运行时间，生成了具有显著漏洞覆盖率的目标达成图，尽管噪声路径率仍然是一个挑战。 AI
影响 这项研究通过将符号推理与 LLM 代理集成，有可能提高 AI 驱动的渗透测试的效率和可审计性。
排序理由 该集群包含一篇详细介绍安全研究新方法和系统的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
