46 citations · 72 across the 9 of their papers we have counts for
1 paper · 1 filter
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…