Conference Papers Year : 2023

Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque

Abstract

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
Origin Files produced by the author(s)
licence

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-04164293 , version 1

Cite

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⟩
105 View
242 Download

Share

  • More