i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler
For system administrators, it provides a tool for network security analysis with formal guarantees and explainable strategies.
i-EXAM helps system administrators create security profiles of complex networks and perform what-if analyses to identify network hardening strategies, leveraging planning compilation for soundness and completeness guarantees and using LLMs for natural language explanations.
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.