Opacity with powerful attackers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Opacity with powerful attackers


This paper considers state-based opacity in a setting where attackers of a secret have additional observation capacities allowing them to know which inputs are allowed by a system. We show that regular opacity is decidable in this setting. We then address the question of controlling a system so that it becomes opaque, and solve this question by recasting the problem in a game setting.
Fichier principal
Vignette du fichier
wodes2018.pdf (777.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01886156 , version 1 (02-10-2018)



Loïc Hélouët, Hervé Marchand, Laurie S. L. Ricker. Opacity with powerful attackers. WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩. ⟨hal-01886156⟩
54 View
90 Download



Gmail Facebook X LinkedIn More