DocumentCode :
3188180
Title :
Probabilistic Analysis of Onion Routing Networks Using PRISM
Author :
Adithia, M.T.
Author_Institution :
Inf. Dept., Parahyangan Catholic Univ., Bandung, Indonesia
fYear :
2011
fDate :
12-14 Dec. 2011
Firstpage :
212
Lastpage :
217
Abstract :
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.
Keywords :
Internet; computer network security; data privacy; formal verification; telecommunication network routing; Internet connections; PRISM; anonymity network; model checker tool; onion routing networks; probabilistic analysis; Analytical models; Computational modeling; Privacy; Probabilistic logic; Receivers; Routing; Routing protocols; Anonymity network; onion routing; probabilistic analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Informatics and Computational Intelligence (ICI), 2011 First International Conference on
Conference_Location :
Bandung
Print_ISBN :
978-1-4673-0091-9
Type :
conf
DOI :
10.1109/ICI.2011.42
Filename :
6141674
Link To Document :
بازگشت