ADT2Maude est un outil permettant de modéliser des scénarios de sécurité à l'aide d'Arbres d'Attaque-Défense (AAD). Il permet de déterminer la configuration minimale nécessaire à la réalisation d'une attaque, offrant ainsi la possibilité d'analyser la robustesse de systèmes face à des attaques potentielles.