paper-with-me

홈 › Papers

Scalable Learning of Intrusion Responses through Recursive Decomposition

2023-09-06 · Kim Hammar, Rolf Stadler

We study automated intrusion response for an IT infrastructure and formulate the interaction between an attacker and a defender as a partially observed stochastic game. To solve the game we follow an approach where attack and defense strategies co-evolve through reinforcement learning and self-play toward an equilibrium. Solutions proposed in previous work prove the feasibility of this approach for small infrastructures but do not scale to realistic scenarios due to the exponential growth in computational complexity with the infrastructure size. We address this problem by introducing a method that recursively decomposes the game into subgames which can be solved in parallel. Applying optimal stopping theory we show that the best response strategies in these subgames exhibit threshold structures, which allows us to compute them efficiently. To solve the decomposed game we introduce an algorithm called Decompositional Fictitious Self-Play (DFSP), which learns Nash equilibria through stochastic approximation. We evaluate the learned strategies in an emulation environment where real intrusions and response actions can be executed. The results show that the learned strategies approximate an equilibrium and that DFSP significantly outperforms a state-of-the-art algorithm for a realistic infrastructure configuration.

📄 PDF Abstract BibTeX arXiv:2309.03292

Code (1)

limmen/csle 공식 구현

Similar Papers 제목 키워드 기반

HaReCAP: Habitual-action Grounding for Recursive Large Language Model Agents

2026-08-17 · Shen Liu, Zhenguo Xu, Shaopu Wang, Yike Gao 외 arxiv

Long-horizon embodied tasks require LLM agents to iteratively decompose high-level goals, revise plans in response to environmental feedback, and ground leaf-level subgoals into valid executable actions. Recursive contex…

Many Field Packet Classification with Decomposition and Reinforcement Learning

2022-05-16 · Hasibul Jamil, Ning Yang, Ning Weng

Scalable packet classification is a key requirement to support scalable network applications like firewalls, intrusion detection, and differentiated services. With ever increasing in the line-rate in core networks, it be…

ClassificationDeep Reinforcement LearningDiversityIntrusion Detection+3

Singleshot : a scalable Tucker tensor decomposition

2019-12-01 · NeurIPS 2019 12 · Abraham Traore, Maxime Berar, Alain Rakotomamonjy

This paper introduces a new approach for the scalable Tucker decomposition problem. Given a tensor X , the method proposed allows to infer the latent factors by processing one subtensor drawn from X at a time. The key pr…

Computational EfficiencyTensor Decomposition

SIGMA: Scalable Spectral Insights for LLM Model Collapse

2026-01-06 · Yi Gu, Lingyou Pang, Xiangkun Ye, Tianyu Wang 외 arxiv

The rapid adoption of synthetic data for training Large Language Models (LLMs) has introduced the technical challenge of "model collapse"-a degenerative process where recursive training on model-generated content leads t…

Gödel's Poetry

2025-12-16 · Kelly J. Davis arxiv

Formal, automated theorem proving has long been viewed as a challenge to artificial intelligence. We introduce here a new approach to computer theorem proving, one that employs specialized language models for Lean4 proof…

Automated Theorem Proving