507 search results - page 36 / 102 » The relation between protocols and games |
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we introduce a model for direct communication in situated multi-agent systems. Direct communication is typically associated with cognitive agents, where the informat...
CSL
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
101
click to vote
SIGOPS
1998
14 years 9 months ago
1998
Abstract. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous...
JCS
2011
14 years 4 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...
NETWORKING
2007
14 years 11 months ago
2007
With BitTorrent-like protocols a client may download a file from a large and changing set of peers, using connections of heterogeneous and timevarying bandwidths. This flexibility ...