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:

2006-08-30

Pagination or Media Count:

20.0

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