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

Yliès Falcone 1 Hervé Marchand 2
1 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2014, pp.42. 〈http://dx.doi.org/10.1007/s10626-014-0196-4〉. 〈10.1007/s10626-014-0196-4〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00987985
Contributeur : Hervé Marchand <>
Soumis le : mercredi 7 mai 2014 - 09:55:30
Dernière modification le : vendredi 16 novembre 2018 - 01:40:41
Document(s) archivé(s) le : jeudi 7 août 2014 - 11:00:45

Fichier

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

Identifiants

Citation

Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, Springer Verlag, 2014, pp.42. 〈http://dx.doi.org/10.1007/s10626-014-0196-4〉. 〈10.1007/s10626-014-0196-4〉. 〈hal-00987985〉

Partager

Métriques

Consultations de la notice

754

Téléchargements de fichiers

220