Mutual Opacity between Multiple Adversaries - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Mutual Opacity between Multiple Adversaries

Résumé

We investigate opacity, an information-flow privacy property, in a setting where there are two competing agents or adversaries whose objective is to hide their secrets and expose the secrets of the other agent. Each agent has only partial information about the state of the system. The agents can achieve their objective by enabling or disabling events from their set of controllable events. We examine two different scenarios. In the first problem, the agents are passive with no control capabilities, and we seek a global controller to enforce their mutual opacity. In the second problem, the formerly passive agents are autonomous and have control capabilities. We seek the plausibility of two controllers, one for each agent, to see if we can synthesize a winning control strategy so that one adversary can always discover the secrets of the other without revealing its own.
Fichier principal
Vignette du fichier
WODES2022_Leaking_Secrets.pdf (527.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03773490 , version 1 (09-09-2022)

Identifiants

  • HAL Id : hal-03773490 , version 1

Citer

C K Sharpe, S L Ricker, Hervé Marchand. Mutual Opacity between Multiple Adversaries. Wodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-7. ⟨hal-03773490⟩
60 Consultations
81 Téléchargements

Partager

Gmail Facebook X LinkedIn More