46 citations · 72 across the 9 of their papers we have counts for
Showing cs.CRShow all
3 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.CR2014
Probabilistic Opacity for Markov Decision Processes
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
Opacity is a generic security property, that has been defined on (non probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a s…
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…