Provable anonymity


Share/Save/Bookmark

Garcia, F.D. and Hasuo, I. and Pieters, W. and Rossum, P.J.B. van (2005) Provable anonymity. In: Proceedings of the 2005 ACM workshop on Formal methods in security engineering, Fairfax, VA, USA (pp. pp. 63-72).

[img] PDF
Restricted to UT campus only
: Request a copy
304kB
Abstract:This paper provides a formal framework for the analysis
of information hiding properties of anonymous communication
protocols in terms of epistemic logic. The key ingredient
is our notion of observational equivalence, which is
based on the cryptographic structure of messages and relations
between otherwise random looking messages. Two
runs are considered observationally equivalent if a spy cannot
discover any meaningful distinction between them. We
illustrate our approach by proving sender anonymity and
unlinkability for two anonymizing protocols, Onion Routing
and Crowds. Moreover, we consider a version of Onion
Routing in which we inject a subtle error and show how our
framework is capable of capturing this flaw.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/62534
Official URL:http://dx.doi.org/10.1145/1103576.1103585
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page