Sciweavers

2812 search results - page 1 / 563
» Secrecy in Multiagent Systems
Sort
View
CSFW
2002
IEEE
14 years 9 days ago
Secrecy in Multiagent Systems
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
Joseph Y. Halpern, Kevin R. O'Neill
CSFW
2003
IEEE
14 years 19 days ago
Anonymity and Information Hiding in Multiagent Systems
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 l...
Joseph Y. Halpern, Kevin R. O'Neill
ENTCS
2000
81views more  ENTCS 2000»
13 years 7 months ago
Secrecy, Group Creation
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
Luca Cardelli, Andy Gordon, Giorgio Ghelli
CORR
2007
Springer
109views Education» more  CORR 2007»
13 years 7 months ago
The General Gaussian Multiple Access and Two-Way Wire-Tap Channels: Achievable Rates and Cooperative Jamming
—The general Gaussian multiple-access wiretap channel (GGMAC-WT) and the Gaussian two-way wiretap channel (GTW-WT) are considered. In the GGMAC-WT, multiple users communicate wit...
Ender Tekin, Aylin Yener
TIFS
2010
97views more  TIFS 2010»
13 years 5 months ago
On the location of an eavesdropper in multiterminal networks
—We study the optimum location of an eavesdropper from a secrecy capacity perspective in multiterminal networks with power control. We determine the logical location of an eavesd...
S. Anand, R. Chandramouli