9 citations · 38 across the 15 of their papers we have counts for
4 papers · 1 filter
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the s…
Using Architecture to Reason about Information Security
Stephen Chong, Ron van der Meyden
We demonstrate, by a number of examples, that information-flow security properties can be proved from abstract architectural descriptions, that describe only the causal structure o…
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would kn…
The Complexity of Synchronous Notions of Information Flow Security
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in wh…