Probable Innocence Revisited

Konstantinos Chatzikokolakis (1) , Catuscia Palamidessi (1)

1 COMETE - Concurrency, Mobility and Transactions

Often we wish to ensure that the identity of the user performing a certain action is maintained secret. This property is called anonymity. Examples of situations in which we may wish to provide anonymity include: publishing on the web, retrieving information from the web, sending a message, etc. Many protocols have been designed for this purpose, for example, Crowds [15], Onion Routing [23], the Free Haven [7], Web MIX [1] and Freenet [4].

Domaines: Logique en informatique [cs.LO]

Konstantinos Chatzikokolakis, Catuscia Palamidessi. Probable Innocence Revisited. Theoretical Computer Science, 2006, 367 (1-2), pp.123-138. ⟨10.1016/j.tcs.2006.08.033⟩. ⟨inria-00201072⟩