Opacity with powerful attackers

Loïc Hélouët (1) , Hervé Marchand (1) , Laurie 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 Ricker. Opacity with powerful attackers. 2018. ⟨hal-01738169⟩