Securing pseudo identities in an anonymous peer-to-peer file-sharing network

Chothia, Tom

doi:10.1109/seccom.2007.4550344

Cited by 2 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The coefficient (n − 1)r i /(1 + (n − 2)r i ) comes from the inequality (14). The definition agrees with the informal description (10) when the a-priori suspicion (r i ) i∈U is uniform.…”

Section: "Innocent" Automaton Inno(x )supporting

confidence: 75%

See 1 more Smart Citation

Probabilistic anonymity via coalgebraic simulations

Hasuo

Kawabe

Sakurada

2010

Theoretical Computer Science

View full text Add to dashboard Cite

There is a growing concern about anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, the importance of probabilistic aspect of anonymity is claimed recently by many authors. Several different notions of "probabilistic anonymity" have been studied so far, but proof methods for such probabilistic notions are not yet elaborated. In this paper we introduce a simulation-based proof method for one notion of probabilistic anonymity introduced by Bhargava and Palamidessi, called strong probabilistic anonymity. The method is a probabilistic adaptation of the one by Kawabe, Sakurada et al. for non-deterministic anonymity: anonymity of a protocol is proved by finding out a forward/backward simulation between certain automata. For the jump from non-determinism to probability we exploit a generic, coalgebraic theory of traces and simulations developed by Hasuo, Jacobs and Sokolova. In particular, an appropriate notion of probabilistic simulation is obtained as an instantiation of the generic definition, for which soundness theorem comes for free. Additionally, we show how we can use a similar idea to verify a weaker notion of probabilistic anonymity called probable innocence.

show abstract

Section: "Innocent" Automaton Inno(x )supporting

confidence: 75%

“…The analysis led to discovery of a flaw, which can be detected by the ABC bisimulation checker [6] for the π-calculus. A detailed account of the flaw is in [14]. In [15] a general framework for automatic checking of anonymity is proposed; the framework is based on the process algebra µCRL.…”

Section: Process Algebraic Techniquesmentioning

confidence: 99%