Making Random Choices Invisible to the Scheduler

DOI10.1007/978-3-540-74407-8_4MaRDI QIDQ3525628zbMATH OpenOpenAlexFDO

Authors Konstantinos Chatzikokolakis, Catuscia Palamidessi

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_4

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Making random choices invisible to the scheduler
• Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference
• Schedulers are no prophets
• Safe equivalences for security properties
• Task-structured probabilistic I/O automata

Cited in

(16)

• Probabilistic may/must testing: retaining probabilities by restricted schedulers
• Schedulers are no prophets
• Traces, Executions and Schedulers, Coalgebraically
• Safe equivalences for security properties
• Bisimulation for Demonic Schedulers
• Trace equivalence and epistemic logic to express security properties
• Practical probability: applying pGCL to lattice scheduling
• Compositional Methods for Information-Hiding
• Information hiding in probabilistic concurrent systems
• Epistemic Strategies and Games on Concurrent Processes
• Weak bisimulation for probabilistic timed automata
• Reconciling quantum theory and process equivalence via physically admissible schedulers
• Quantitative information flow for scheduler-dependent systems
• Probabilistic and nondeterministic aspects of anonymity
• Probabilistic anonymity via coalgebraic simulations
• Making random choices invisible to the scheduler

This page was built for publication: Making Random Choices Invisible to the Scheduler

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