Skip to Main content Skip to Navigation
Preprints, Working 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 :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01738169
Contributor : Hervé Marchand <>
Submitted on : Tuesday, March 20, 2018 - 11:47:39 AM
Last modification on : Thursday, January 7, 2021 - 4:34:06 PM
Long-term archiving on: : Tuesday, September 11, 2018 - 9:05:43 AM

File

PowerAttLong.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01738169, version 1

Citation

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

Share

Metrics

Record views

292

Files downloads

260