Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga

Browse the full ICFEM paper archive.