Abstrakt. Anonyma kanaler är nödvändiga för en mängd sekretessskyddande protokoll. Onion routing är förmodligen det mest kända sättet att uppnå anonymitet i praktiken. De kryptografiska aspekterna av lökrouting har dock inte undersökts tillräckligt: inga tillfredsställande definitioner av säkerhet har lämnats, och befintliga konstruktioner har endast haft en särskild säkerhetsanalys för det mesta. Vi tillhandahåller en formell definition av onion-routing i det universellt kompatibla ramverket, och upptäcker också en enklare definition (liknar CCA2 säkerhet för kryptering) som innebär säkerhet i UC-ramverket. Vi uppvisar sedan en effektiv och enkel att genomföra konstruktion av en lök routing plan som uppfyller denna definition.
Camenish och Lysyanskaya REF erbjuder en behandling av lök routing i Universal Composability-modellen.
A Formal Treatment of Onion Routing
{'venue': 'CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}