46 citations · 75 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2015★ 1 cited
Probabilistic Opacity in Refinement-Based Modeling
Béatrice Bérard, Olga Kouchnarenko, John Mullins +1
Given a probabilistic transition system (PTS) partially observed by an attacker, and an -regular predicate over the traces of , measuring the disclosure of t…
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…