Various Notions of Opacity Verified and Enforced at Runtime - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

Various Notions of Opacity Verified and Enforced at Runtime

Résumé

In this paper, we are interested in the validation of opacity where opacity means 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 specifically, we study how we can verify and enforce, at system runtime, several levels of opacity. Besides already considered notions of opacity, we also introduce a new one that provides a stronger level of confidentiality.
Fichier principal
Vignette du fichier
RR-7349.pdf (2.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00507143 , version 1 (30-07-2010)
inria-00507143 , version 2 (25-08-2010)

Identifiants

  • HAL Id : inria-00507143 , version 2

Citer

Yliès Falcone, Hervé Marchand. Various Notions of Opacity Verified and Enforced at Runtime. [Research Report] RR-7349, INRIA. 2010. ⟨inria-00507143v2⟩
141 Consultations
180 Téléchargements

Partager

Gmail Facebook X LinkedIn More