Runtime Enforcement of K-step Opacity - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Runtime Enforcement of K-step Opacity

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
233 Consultations
213 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More