Mutual Opacity between Multiple Adversaries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Mutual Opacity between Multiple Adversaries


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

Dates and versions

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


  • HAL Id : hal-03773490 , version 1


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⟩
47 View
50 Download


Gmail Facebook Twitter LinkedIn More