Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque
Résumé
Les arbres d'attaques sont un formalisme utilisé en sécurité pour l'évaluation de menace en analyse de risque. En 2017, M. Audinot et al. ont introduit une sémantique de chemins sur un système de transition pour les arbres d'attaque. Cette approche ne permet pas de considérer des systèmes avec plusieurs acteurs. Inspiré par ce travail, nous proposons une interprétation à deux joueurs de ce formalisme en généralisant la sémantique de chemins à une sémantique de stratégies. Dans ce cadre, nous montrons que le problème de la vacuité d'un arbre d'attaque est PSPACEcomplet, alors que le problème d'appartenance d'une stratégie à la dénotation d'un arbre est CONP-complet. Mots-clés arbre d'attaque, sémantique, arène de jeu, stratégie.
Origine | Fichiers produits par l'(les) auteur(s) |
---|