Runtime Enforcement of K-step Opacity - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Runtime Enforcement of K-step Opacity


We study the enforcement of K-step opacity at runtime. In K-step opacity, the knowledge of the secret is of interest to the attacker within K steps after the secret occurs and becomes obsolete afterwards. We introduce the mechanism of runtime enforcer that is placed between the output of the system and the attacker and enforces opacity using delays. If an output event from the system violates K-step opacity, the enforcer stores the event in the memory, for the minimal number of system steps until the secret is no longer interesting to the attacker (or, K-step opacity holds again).
Fichier principal
Vignette du fichier
cdc2013.pdf (197.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00863223 , version 1 (18-09-2013)



Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩. ⟨hal-00863223⟩
226 View
202 Download



Gmail Facebook Twitter LinkedIn More