1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2004★ 1 cited
Anonymity and Information Hiding in Multiagent Systems
Joseph Y. Halpern, Kevin R. O'Neill
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal lo…
cs.CR2003★ 1 cited
Secrecy in Multiagent Systems
Kevin R. O'Neill, Joseph Y. Halpern
We introduce a general framework for reasoning about secrecy and privacy requirements in multiagent systems. Our definitions extend earlier definitions of secrecy and nondeducibili…