46 citations · 49 across the 5 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CR2013★ 2 cited
Opacity with Orwellian Observers and Intransitive Non-interference
John Mullins, Moez Yeddes
Opacity is a general behavioural security scheme flexible enough to account for several specific properties. Some secret set of behaviors of a system is opaque if a passive attacke…
cs.CR2013★ 46 cited
Quantifying Opacity
B. Bérard, J. Mullins, M. Sassolas
Opacity is a general language-theoretic framework in which several security properties of a system can be expressed. Its parameters are a predicate, given as a subset of runs of th…