Secretive Birds: Privacy in Population Protocols - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2007

Secretive Birds: Privacy in Population Protocols

Résumé

We study private computations in a system of tiny mobile agents. We consider the mobile population protocol model of Angluin et al. and ask what can be computed without ever revealing any input to a curious adversary. We show that any predicate that can be computed in the original population model can be made private through an procedure that exploits the inherent non-determinism of the mobility pattern. In short, the idea is for every mobile agent to generate, besides its actual input value, a set of wrong input values to confuse the curious adversary. To converge to the correct result, the procedure has the agents eventually eliminate the wrong values; however, the moment when this happens i s hidden from the adversary. This is achieved without jeopardizing the tiny nature of the agents: they still have very small storage size that is independent of the cardinality of the system. We present three variants of this obfuscation procedure that help compute resp ectively, remainder, threshold, and or predicates which, when com posed, cover all those that can be computed in the population protocol model.
Fichier principal
Vignette du fichier
secretive.pdf (161.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00175536 , version 1 (28-09-2007)

Identifiants

  • HAL Id : hal-00175536 , version 1

Citer

Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert. Secretive Birds: Privacy in Population Protocols. 2007. ⟨hal-00175536⟩
62 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More