Anonymity and information hiding in multiagent systems (English)
- New search for: Halpern, Joseph Y.
- New search for: O'Neill, Kevin R.
- New search for: Halpern, Joseph Y.
- New search for: O'Neill, Kevin R.
In:
Journal of Computer Security
;
13
, 3
;
483-514
;
2005
- Article (Journal) / Electronic Resource
-
Title:Anonymity and information hiding in multiagent systems
-
Contributors:Halpern, Joseph Y. ( author ) / O'Neill, Kevin R. ( author )
-
Published in:Journal of Computer Security ; 13, 3 ; 483-514
-
Publisher:
- New search for: IOS Press
-
Place of publication:Amsterdam, The Netherlands
-
Publication date:2005-08-24
-
Size:32 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 13, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 345
-
Guest editor's prefaceFocardi, Riccardo et al. | 2005
- 347
-
Static validation of security protocolsBodei, Chiara / Buchholtz, Mikael / Degano, Pierpaolo / Nielson, Flemming / Nielson, Hanne Riis et al. | 2005
- 391
-
Information flow in secure contextsBossi, Annalisa / Macedonio, Damiano / Piazza, Carla / Rossi, Sabina et al. | 2005
- 423
-
A derivation system and compositional logic for security protocolsDatta, Anupam / Derek, Ante / Mitchell, John C. / Pavlovic, Dusko et al. | 2005
- 483
-
Anonymity and information hiding in multiagent systemsHalpern, Joseph Y. / O'Neill, Kevin R. et al. | 2005
- 515
-
Symbolic protocol analysis with an Abelian group operator or Diffie–Hellman exponentiationMillen, Jonathan / Shmatikov, Vitaly et al. | 2005
- 565
-
A computational analysis of the Needham–Schroeder–(Lowe) protocolWarinschi, Bogdan et al. | 2005