arXiv:2607.05888cs.CRcs.AI2026-07
i-EXAM用规划编译技术自动生成可解释的网络攻防路径与加固方案。
i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler
- 基于规划编译识别攻击路径，保证结果完整准确
- 生成多样加固策略并用自然语言解释其原理
- 适合安全管理员做攻防模拟与策略优化
i-EXAM 是一种基于规划编译的工具，帮助系统管理员构建复杂网络的安全配置，并执行“如果…会怎样”分析，以识别网络加固策略。它利用规划编译技术，在攻击路径发现、安全度量评估、多样化加固策略生成以及通过大语言模型生成自然语言解释方面，均提供完备性与正确性保障。
原文摘要 · Abstract (English)
i-EXAM is a planning-powered tool that helps system administrators to create security profiles of complex networks and perform what-if analyses to identify network hardening strategies. It leverages planning compilation that provides soundness and completeness guarantees to identify attack paths, evaluate security metrics, generate diverse hardening strategies, and explain these strategies in natural language using Large Language Models.
网络安全攻防模拟可解释性规划编译
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。