Opacity with powerful attackers

Loïc Hélouët (1) , Hervé Marchand (1) , Laurie S. L. Ricker (2)

1 SUMO - SUpervision of large MOdular and distributed systems
2 Department of Mathematics and Computer Science [Mount Allison University]

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.

Domaines: Génie logiciel [cs.SE]

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⟩