Enforcement and Validation (at runtime) of Various Notions of Opacity - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2015

Enforcement and Validation (at runtime) of Various Notions of Opacity

Résumé

We are interested in the validation of opacity. Opacity models the impossibility for an attacker to retrieve the value of a secret in a system of interest. Roughly speaking, ensuring opacity provides confidentiality of a secret on the system that must not leak to an attacker. More specically, we study how we can model-check, verify and enforce at system runtime, several levels of opacity. Besides existing notions of opacity, we also introduce K-step strong opacity, a more practical notion of opacity that provides a stronger level of confidentiality.
Fichier principal
Vignette du fichier
main.pdf (517.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00987985 , version 1 (07-05-2014)

Identifiants

Citer

Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩. ⟨hal-00987985⟩
412 Consultations
481 Téléchargements

Altmetric

Partager

More