Search papers, labs, and topics across Lattice.
This paper introduces an automated framework that extracts reachable attack chains from Cyber Threat Intelligence (CTI) reports by modeling attack steps as units defined by preconditions, behaviors, and postconditions. The framework employs a multi-stage pipeline enhanced by large language models (LLMs) to extract and normalize attack behaviors, achieving superior annotated-step coverage compared to existing systems. Notably, the Datalog inference method successfully identifies attack goals in 19 out of 20 reports, demonstrating the framework's effectiveness in generating comprehensive and consistent attack units for multi-stage reasoning.
Extracting attack chains from CTI reports can now be automated, achieving 19 out of 20 successful attack goal identifications through innovative modeling of attack steps.
Cyber Threat Intelligence (CTI) reports richly describe real-world attack processes, but their unstructured narratives cannot be directly used for automated attack-path reasoning. Existing CTI extraction methods focus on indicators, entities, or TTP labels without modeling the execution conditions and resulting states of each attack step, so the extracted knowledge supports neither state matching nor reachability analysis across multi-stage attack chains. This paper proposes an automated framework that extracts reachable attack chains by modeling each attack step as an attack unit of preconditions, an attack behavior, and postconditions. A multi-stage pipeline assisted by large language models (LLMs) extracts attack behavior skeletons, recovers their preconditions and postconditions, normalizes them into predefined predicates, and repairs broken dependencies; the resulting units are compiled into Datalog-style rules for attack-goal reachability reasoning. On a dataset of 20 CTI reports containing 334 human-validated annotated steps, our framework achieves higher annotated-step coverage than representative CTI extraction systems in recovering attack behaviors. Moreover, by explicitly generating preconditions and postconditions, it produces attack units that are more complete and consistent than those generated by end-to-end LLM baselines. On the extracted chains, Datalog inference reaches the specified attack goal in 19 of 20 reports, while backward search yields 34 attack paths under the generated rules. The source code and experimental artifacts are available in an anonymized repository. .
