i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler

Rakesh Podder; Wadia Ganim; Sarath Sreedharan; Indrajit Ray; Indrakshi Ray

i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler

密码学与安全 2026-07-07 v1 人工智能

作者: Rakesh Podder , Wadia Ganim , Sarath Sreedharan , Indrajit Ray , Indrakshi Ray

摘要

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.

引用

@article{arxiv.2607.05888,
  title  = {i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler},
  author = {Rakesh Podder and Wadia Ganim and Sarath Sreedharan and Indrajit Ray and Indrakshi Ray},
  journal= {arXiv preprint arXiv:2607.05888},
  year   = {2026}
}

备注

In the Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2026)