Runtime Enforcement of K-step Opacity

Yliès Falcone 1 Hervé Marchand 2
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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).
Type de document :
Communication dans un congrès
52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.7271-7278, 2013, 〈10.1109/CDC.2013.6761043 〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00863223
Contributeur : Hervé Marchand <>
Soumis le : mercredi 18 septembre 2013 - 14:40:22
Dernière modification le : mercredi 11 avril 2018 - 02:00:45
Document(s) archivé(s) le : vendredi 20 décembre 2013 - 15:03:19

Fichier

cdc2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

545

Téléchargements de fichiers

140