Skip to Main content Skip to Navigation
Conference papers

Opacity with powerful attackers

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Hervé Marchand <>
Submitted on : Tuesday, October 2, 2018 - 3:56:18 PM
Last modification on : Friday, July 10, 2020 - 4:20:59 PM
Long-term archiving on: : Thursday, January 3, 2019 - 3:37:30 PM


Files produced by the author(s)



Loïc Hélouët, Hervé Marchand, Laurie 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⟩



Record views


Files downloads