Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Jaime Arias, {\L}ukasz Ma\'sko, Wojciech Penczek, Laure Petrucci and, Teofil Sidoruk

TL;DR
This paper introduces an algorithm for optimally scheduling agents in attack-defence trees to minimize attack time and agent count, enhancing the analysis of multi-agent security scenarios.
Contribution
It proposes a novel algorithm for synthesizing agent assignments that minimize attack time and agent number in attack-defence trees.
Findings
Algorithm effectively reduces attack time in simulations.
Minimizes the number of agents needed for attack strategies.
Provides insights into agent task allocation impacts.
Abstract
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that synthesises such an assignment, targeting minimal attack time and using minimal number of agents for a given attack-defence tree.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Information and Cyber Security · Advanced Software Engineering Methodologies
