Quantifying opacity

DOI10.1017/S0960129513000637zbMath1361.68117arXiv1301.6799MaRDI QIDQ5740626

Mathieu Sassolas, Béatrice Bérard, John Mullins

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.6799

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Accurate approximate diagnosis of (controllable) stochastic systems, A novel approach for supervisor synthesis to enforce opacity of discrete event systems, A general language-based framework for specifying and verifying notions of opacity, Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder, Online prognosis of stochastic discrete event systems with guaranteed performance bound, Information control in networked discrete event systems and its application to battery management systems, Enforcing opacity by insertion functions under multiple energy constraints, Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems, Probabilistic opacity for Markov decision processes, Opacity for linear constraint Markov chains, Probabilistic system opacity in discrete event systems, Enforcement of opacity by public and private insertion functions, Opacity of networked discrete event systems, Unnamed Item

Cites Work

• Opacity of discrete event systems and its applications
• Quantifying information leakage in process calculi
• A logic for reasoning about time and reliability
• Anonymity protocols as noisy channels
• Model checking of probabilistic and nondeterministic systems
• Asymptotic Information Leakage under One-Try Attacks
• Quantitative Information Flow, with a View
• Computing the Leakage of Information-Hiding Systems
• Information Flow in Interactive Systems
• Compositional Closure for Bayes Risk in Probabilistic Noninterference
• Preserving Secrecy Under Refinement
• Markov decision processes and regular events