Various Notions of Opacity Verified and Enforced at Runtime - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2010

Various Notions of Opacity Verified and Enforced at Runtime

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00507143 , version 2

Cite

Yliès Falcone, Hervé Marchand. Various Notions of Opacity Verified and Enforced at Runtime. [Research Report] RR-7349, INRIA. 2010. ⟨inria-00507143v2⟩
138 View
168 Download

Share

Gmail Facebook X LinkedIn More