Searching for "Secrecy in Multiagent Systems." – sorted by Relevance.
-
Secrecy in multiagent systems
- Secrecy in Multiagent Systems Joseph Y. Halpern & Kevin R. O’Neill Department of Computer Science
- Cited by 29 (4 self) – Add To MetaCart
-
unknown title
- Secrecy in Multiagent Systems Joseph Y. Halpern & Kevin R. O'Neill Department of Computer Science
- Add To MetaCart
-
Joseph Halpern
- We introduce a general framework for reasoning about secrecy requirements in multiagent systems
- Add To MetaCart
-
A probabilistic property-specific approach to information flow
- ] by giving a definition of secrecy in multiagent systems, using a modal logic of knowledge in a state
- Cited by 1 (0 self) – Add To MetaCart

