Accession Number : ADA459411
Title : A Model of Onion Routing With Provable Anonymity
Descriptive Note : Technical rept.
Corporate Author : YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
Personal Author(s) : Johnson, Aaron
Report Date : 30 Aug 2006
Pagination or Media Count : 20
Abstract : Onion routing is a scheme for anonymous communication that is designed for practical use. It has not been modeled formally, however, and therefore its anonymity guarantees have not been rigorously analyzed. We give an IO-automata model of an onion-routing protocol and, under possibilistic definitions, characterize the situations in which anonymity and unlinkability are guaranteed.
Descriptors : *CRYPTOGRAPHY , *ROUTING , *COMMUNICATIONS PROTOCOLS , *COMPUTER NETWORKS , COMMUNICATIONS NETWORKS , INPUT OUTPUT MODELS , AUTOMATA
Subject Categories : Computer Systems
Computer Systems Management and Standards
Distribution Statement : APPROVED FOR PUBLIC RELEASE