Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

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.
Fichier principal
Vignette du fichier
Brihaye(1).pdf (147.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04164293 , version 1 (18-07-2023)

Identifiants

  • HAL Id : hal-04164293 , version 1

Citer

Thomas T Brihaye, Sophie Pinchinat, Alexandre Terefenko. Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque. CNIA 2023 - Conférence Nationale en Intelligence Artificielle, PFIA, Jul 2023, strasbourg, France. ⟨hal-04164293⟩
44 Consultations
69 Téléchargements

Partager

More