Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Studia Logica Année : 2023

Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts

Résumé

A gossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocol is a pairwise message exchange (telephone call) wherein the calling agents exchange all the secrets they know. An agent who knows all secrets is an expert. The usual termination condition is that all agents are experts. Instead, we explore protocols wherein the termination condition is that all agents know that all agents are experts. We call such agents super experts. We also investigate gossip protocols that are common knowledge among the agents. Additionally, we model that agents who are super experts do not make and do not answer calls, and that this is common knowledge. We investigate conditions under which protocols terminate, both in the synchronous case, where there is a global clock, and in the asynchronous case, where there is not. We show that a commonly known protocol with engaged agents may terminate faster than the same commonly known protocol without engaged agents.

Dates et versions

hal-04237926 , version 1 (11-10-2023)

Identifiants

Citer

Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian. Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Studia Logica, 2023, 111 (3), pp.453-499. ⟨10.1007/s11225-022-10032-3⟩. ⟨hal-04237926⟩
35 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More