9 citations · 38 across the 15 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 1 cited
Optimizing Epistemic Model Checking using Conditional Independence
Ron van der Meyden
Conditional independence reasoning has been shown to be helpful in the context of Bayesian nets to optimize probabilistic inference, and related techniques have been applied to spe…
cs.LO2016
The complexity of approximations for epistemic synthesis (extended abstract)
Xiaowei Huang, Ron van der Meyden
Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what…
cs.CR2016★ 1 cited
Dynamic Intransitive Noninterference Revisited
Sebastian Eggert, Ron van der Meyden
The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the…