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


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a459411.pdf


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