Opacity with powerful attackers - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Opacity with powerful attackers

(1) , (1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
wodes2018.pdf (777.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
48 View
72 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More