Probabilistic disclosure: maximisation vs. minimisation

DOI10.4230/LIPICS.FSTTCS.2017.13MaRDI QIDQ5136302zbMATHFDO

Authors Béatrice Bérard, Serge Haddad, Engel Lefaucheux

Publication date 25 November 2020

zbMATH Keywords

Markov chainMarkov decision processopacitypartially observed systems

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40) Computer security (68M25)

Recommendations

• Probabilistic opacity for Markov decision processes
• Quantifying opacity
• Probabilistic system opacity in discrete event systems
• Opacity for linear constraint Markov chains
• Comparing the notions of opacity for discrete-event systems

Cites work

• scientific article; zbMATH DE number 5595162 (Why is no real title available?)
• scientific article; zbMATH DE number 1842483 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3371972 (Why is no real title available?)
• Current-State Opacity Formulations in Probabilistic Finite Automata
• Model-Checking ω-Regular Properties of Interval Markov Chains
• On the power of imperfect information
• Probabilistic automata on finite words: decidable and undecidable problems
• Probabilistic opacity for Markov decision processes
• Qualitative analysis of partially-observable Markov decision processes
• Quantifying opacity
• Random Measurable Selections
• Randomness for free
• The Complexity of Markov Decision Processes
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(4)

• Accurate approximate diagnosis of (controllable) stochastic systems
• Financial Cryptography and Data Security
• Information control in networked discrete event systems and its application to battery management systems
• Opacity issues in games with imperfect information

This page was built for publication: Probabilistic disclosure: maximisation vs. minimisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5136302)