Opacity with powerful attackers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working 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
PowerAttLong.pdf (322.05 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01738169 , version 1 (20-03-2018)


  • HAL Id : hal-01738169 , version 1


Loïc Hélouët, Hervé Marchand, Laurie Ricker. Opacity with powerful attackers. 2018. ⟨hal-01738169⟩
160 View
188 Download


Gmail Facebook X LinkedIn More