Model the scenario
Express attacker objectives, defensive countermeasures, and their dependencies as an Attack–Defence Tree.
ADT inputOpen-source research tool
ADT2AMAS
ADT2AMAS translates Attack–Defence Trees into extended Asynchronous Multi-Agent Systems, then finds an optimal schedule using the fewest agents.
Attack–Defence Tree
GOALCompromise
system
system
ATTACKGain access
DEFENCEContain threat
A1exploit()
A2escalate()
A3monitor()
A4isolate()
Optimal schedule found 4 agents
One model, executable semantics
From structure to strategy
Bridge high-level security modeling and concrete agent coordination through a rigorous, automated workflow.
Translate automatically
Generate an extended asynchronous multi-agent system that preserves the model's operational meaning.
ADT2AMAS engineOptimise the plan
Compute a valid execution schedule while minimising the number of agents needed to reach the objective.
Optimal scheduleBuilt for research, ready to use
Everything you need to explore coordinated security scenarios
Open Source
Open-source tool written in C++. Licensed under the GPL-3.
Go to the RepositoryGraphical Interface
User-friendly web interface using the platform CosyVerif.
Go to the ApplicationPublications
Implemented algorithms are supported by scientific publications.
See PublicationsSee it in action
A complete translation, step by step.
Watch how an Attack–Defence Tree becomes a multi-agent execution model and how ADT2AMAS derives an optimal schedule.
Try the graphical interface