PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION

ŠPROJCAR, Josef. PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION. International Journal of Foundations of Computer Science. Singapore: World Scientific Publishing, 2009, roč. 20/2009, č. 3, s. 523-548. ISSN 0129-0541. Dostupné z: https://dx.doi.org/10.1142/S0129054109006711.

Základní údaje

• Originální název: PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION
• Název česky: Navrh semiformalniho modelu anonymni komunikace
• Autoři: ŠPROJCAR, Josef (203 Česká republika, garant, domácí).
• Vydání: International Journal of Foundations of Computer Science, Singapore, World Scientific Publishing, 2009, 0129-0541.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10000 1. Natural Sciences
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• Impakt faktor: Impact factor: 0.512
• Kód RIV: RIV/00216224:14330/09:00065858
• Organizační jednotka: Fakulta informatiky
• Doi: http://dx.doi.org/10.1142/S0129054109006711
• UT WoS: 000266614100010
• Klíčová slova česky: anonymita, zaklady bezpecnosti, complexni komunikace, krypto protokoly, modularni pristup
• Klíčová slova anglicky: Anonymity; security foundations; complex communication; cryptographic protocols; modular approach
• Štítky: anonymity, complex communication, cryptographic protocols, modular approach, security foundations
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

We present a semiformal model of anonymous communication with several participants performing several anonymous actions on several messages, e.g. in digital pseudosigna- tures. The goal is to design a model having enough expressive power to model simple as well as very complex anonymous communication patterns. Our model concentrates on anonymity of a sender, a receiver, and on the relationship anonymity. However, the model is easy to adopt to other types of anonymity. A special anonymous channel formalism is introduced and extensively explored in this paper. The formalism builds on the top of so-called estimation procedure which takes knowledge of the adversary and processes it to find anonymous participants. Some other, already published, models of anonymity, e.g. the model of Hughes and Shmatikov or of Halpern and O'Neill, are compatible with our model { they could be used as building blocks together with (or instead of) our estimation procedure. Therefore, the tools developed for those models can be easily adapted to be used with our model.

Anotace česky

We present a semiformal model of anonymous communication with several participants performing several anonymous actions on several messages, e.g. in digital pseudosigna- tures. The goal is to design a model having enough expressive power to model simple as well as very complex anonymous communication patterns. Our model concentrates on anonymity of a sender, a receiver, and on the relationship anonymity. However, the model is easy to adopt to other types of anonymity. A special anonymous channel formalism is introduced and extensively explored in this paper. The formalism builds on the top of so-called estimation procedure which takes knowledge of the adversary and processes it to find anonymous participants. Some other, already published, models of anonymity, e.g. the model of Hughes and Shmatikov or of Halpern and O'Neill, are compatible with our model { they could be used as building blocks together with (or instead of) our estimation procedure. Therefore, the tools developed for those models can be easily adapted to be used with our model.

Návaznosti

• GA201/07/0603, projekt VaV: Název: Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů

Investor: Grantová agentura ČR, Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy