9 citations · 38 across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 2 cited
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
X. Huang, R. van der Meyden
This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An ap…
cs.CR2013★ 6 cited
Complexity and Unwinding for Intransitive Noninterference
Sebastian Eggert, Ron van der Meyden, Henning Schnoor +1
The paper considers several definitions of information flow security for intransitive policies from the point of view of the complexity of verifying whether a finite-state system i…