Solving security models with perfect observability - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Solving security models with perfect observability

Résumé

Sequential models with perfect observability represent situations in which communication is public and observable by all the agents. Such models are applied within different domains of security, such as intrusion detection, blockchain protocols and wiretap channels. The extensive-form game is the representation used to identify the solution of these models. To date, the literature provides methods to identify specific solutions for small-size extensive-form games. We provide the first method to identify all solutions that is also scalable with the size of the games.
Fichier principal
Vignette du fichier
GameSec_HAL.pdf (516.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04197515 , version 1 (06-09-2023)

Identifiants

  • HAL Id : hal-04197515 , version 1

Citer

Paolo Zappala, Amal Benhamiche, Matthieu Chardy, Francesco De Pellegrini, Rosa Figueiredo. Solving security models with perfect observability. 2023. ⟨hal-04197515⟩

Collections

UNIV-AVIGNON LIA
13 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More