Conference
Towards Quantitative Analysis of Opacity
Abstract
Opacity is a general approach for describing and unifying security properties expressed as predicates. A predicate is opaque if an observer of the system is unable to determine the satisfaction of the predicate in a given run of the system. The meaning of opacity is straightforward when considering the standard (qualitative) operational semantics, but there are a number of possible interpretations in a context where quantitative information …
Authors
Bryans JW; Koutny M; Mu C
Series
Lecture Notes in Computer Science
Volume
8191
Pagination
pp. 145-163
Publisher
Springer Nature
Publication Date
2013
DOI
10.1007/978-3-642-41157-1_10
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743