%O Report 
%F k-opacity
%A Falcone, Y.
%A Marchand, H.
%T {V}arious {N}otions of {O}pacity {V}erified and {E}nforced at {R}untime
%N 7349
%I INRIA
%X {I}n 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. {R}oughly speaking, ensuring opacity provides confidentiality of a secret on the system that must not leak to an attacker. {M}ore specifically, we study how we can verify and enforce, at system runtime, several levels of opacity. {B}esides already considered notions of opacity, we also introduce a new one that provides a stronger level of confidentiality
%U http://hal.inria.fr/inria-00507143/PDF/RR-7349.pdf
%8 August
%D 2010