46 citations · 75 across the 6 of their papers we have counts for
1 paper · 2 filters
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…