2014
DOI: 10.1017/s0960129513000637
|View full text |Cite
|
Sign up to set email alerts
|

Quantifying opacity

Abstract: 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 the system, and an observation function, from the set of runs into a set of observables. The predicate describes secret information in the system and, in the possibilistic setting, it is opaque if its membership cannot be inferred from observation. In this paper, we propose several notions of quantitative opacity for probabilistic syst… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
44
0

Year Published

2014
2014
2021
2021

Publication Types

Select...
4
2

Relationship

1
5

Authors

Journals

citations
Cited by 53 publications
(44 citation statements)
references
References 33 publications
(72 reference statements)
0
44
0
Order By: Relevance
“…The work in this paper devises appropriate measures to quantify opacity in a probabilistic setting and is motivated by the absence of likelihood information in most of the existing work on current-state opacity. Notable exceptions are the information-theoretic works in [9], [10], and more recently the work in [11] which we revisit once we have a chance to describe the contributions in this paper in more detail. We consider a scenario where we are given a stochastic discrete event system (SDES) that can be modeled as a probabilistic finite automaton (PFA) with partial observation on its transitions.…”
Section: A Contributionsmentioning
confidence: 99%
See 4 more Smart Citations
“…The work in this paper devises appropriate measures to quantify opacity in a probabilistic setting and is motivated by the absence of likelihood information in most of the existing work on current-state opacity. Notable exceptions are the information-theoretic works in [9], [10], and more recently the work in [11] which we revisit once we have a chance to describe the contributions in this paper in more detail. We consider a scenario where we are given a stochastic discrete event system (SDES) that can be modeled as a probabilistic finite automaton (PFA) with partial observation on its transitions.…”
Section: A Contributionsmentioning
confidence: 99%
“…Our work in this paper is closely related to [11] which studies probabilistic automata with a terminating action, which effectively makes the probabilistic automaton a Markov chain with a single absorbing (sink) state. Among the four notions of opacity considered in [11], namely liberal probabilistic (symmetrical) opacity (LPO, LPSO) and restrictive probabilistic (symmetrical) opacity (RPO, RPSO), the most closely related to our work is the notion of liberal probabilistic opacity (LPO): LPO aims at evaluating the a priori probability that the system generates sequences of observations that allow the intruder to determine a violation of opacity.…”
Section: B Related Workmentioning
confidence: 99%
See 3 more Smart Citations