ADT2AMAS: Managing Agents in Attack-Defence Scenarios

Jaime Arias (LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord), Wojciech Penczek (Institute of Computer Science, Polish Academy of Sciences), Laure Petrucci (LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord), Teofil Sidoruk (Institute of Computer Science, Polish Academy of Sciences & Warsaw University of Technology)

Abstract

Expressing attack-defence trees (ADTrees) 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 of attacking and defending strategies executed by agent coalitions. Our tool ADT2AMAS allows for transforming ADTrees into extended asynchronous multi-agent systems and computing an optimal schedule with the minimal number of agents. ADT2AMAS is integrated within the graphical verification platform CosyVerif, but can also be run standalone.