A Closer Look at Anonymity

Mgr. Josef Šprojcar, Ph.D.

Rigorózní práce

Anotace:

Zajímáme se o anonymitu - ukrývání účastníkovi identity mezi ostatními účastníky schopnými hrát stejnou roli (většinou jde o posílání nebo přijímání zprávy). Existuje několik modifikací, např. ukrývání vztahu kdo komunikuje s kým, nebo skrývání spojení jiných akcí než jen posílání a přijímání zprávy. Nejvíce se zajímáme o "anonymní kanál" kryptografické primitivum umožňující odesílateli anonymně poslat zprávu příjemci, zveřejnit zprávu, příjemci anonymně přijmout zprávu atd. Existuje mnoho verzí anonymního kanálu, jedním z cílů této práce je studium těchto anonymních. Budeme je studovat v rámci universální komposability a v rámci kvantové mechaniky Universální komposabilitu používáme protože nám umožňuje mít formálně přesné a matematicky korektní definice kryptografických problémů. Kvantovou mechaniku používáme protože může být velice užitečná pro kryptografii a také proto že kvantový svět je více obecný než klasický - můžeme získat více obecné výsledky. Dalším cílem této práce je analýza protokolů používajících anonymitu and extrakce anonymních primitiv z těch to protokolů. Také se zajímáme o dekompozici těchto anonymních primitiv za účelem nalezení kryptografických zdrojů nutných pro dosažení anonymity a jejich klasifikaci.

Abstract:

We are interested in anonymity - hiding participant's identity among other participants possible of doing the same role (mostly sending or receiving a message). There are several modifications, e.g. hiding relation who is communicating with whom, or unlinking other actions than just sending or receiving a message. We are mainly interested in "an anonymous channel" a cryptographic primitive that allows sender to anonymously send a message to a receiver, broadcast a message, receiver to anonymously receive a message etc. There are many versions of anonymous channel, one goal of this work is to study these anonymous channels. We will study them in a framework of universal composability and quantum mechanics. We use universal composability framework because it allows us to have formally precise, and mathematically correct definitions of cryptographic tasks. We use quantum mechanics framework because quantum mechanics can be very useful for cryptography and also because quantum world is more general than classical one - more general results are achieved. Another goal of work is to analyze protocols that use anonymity and extract anonymous primitives form these protocols. We are also interested in decomposition of these anonymous primitives to find out which cryptographical resources are necessary to achieve anonymity and classify them.

Keywords

Cryptographic protocols, anonymity, anonymous channels, formal definitions

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 21. 4. 2008

Obhajoba závěrečné práce

• Obhajoba proběhla 21. 4. 2008

Masarykova univerzita

Fakulta informatiky

Rigorózní řízení / obor:
Informatika / Informatika