New Publication in IEEE Transactions on Reliability
On January 31, an article by Prof. Wojciech Penczek, Łukasz Maśko and Teofil Sidoruk, written in collaboration with Prof. Laure Petrucci, Carlos Olarte, and Jaime Arias from Université Sorbonne Paris Nord, was published in IEEE Transactions on Reliability. The paper "Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models" follows earlier work [1] that proposed representing attack-defence trees (ADTrees) as multi-agent systems. ADTrees are a popular formalism for studying security scenarios where two opposing parties attempt to achieve sub-goals (tree nodes) comprising the overall objective (tree root), or try to prevent the other group from doing so. With the translation to an agent-based formalism, one can additionally consider the attackers and defenders in these scenarios as agent coalitions. As such, not only do they have a particular number of agents, but also specific assignment to sub-goals. This can determine not only the feasibility of an attack or defence, but also its time, cost, or other quantitative metrics of interest.
Read more: New Publication in IEEE Transactions on Reliability