By Topic

Probabilistic Analysis of Onion Routing Networks Using PRISM

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Adithia, M.T. ; Inf. Dept., Parahyangan Catholic Univ., Bandung, Indonesia

People require privacy when doing transaction via Internet connection. For example, some people do not want other people to know what web page they request. Anonymous cash is not anonymous anymore if the channel used for the connection identifies the identity of the participating entities. Email users sometimes want to hide their email addresses. These days, the Internet does not really care about privacy. Encryption is provided to protect privacy, but it only protects the content of a transaction. Thus an eavesdropper can still learn the IP addresses of the internet users to infer their identities. Special networks, called the anonymity network, were created to protect privacy, especially the identities of the entities participating in a communication via Internet connections. This paper discusses probabilistic analysis of the anonymity provided by anonymity networks, namely Onion Routing, by using a model-checker tool called PRISM.

Published in:

Informatics and Computational Intelligence (ICI), 2011 First International Conference on

Date of Conference:

12-14 Dec. 2011