Detailed Information on Publication Record
2009
PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION
ŠPROJCAR, JosefBasic information
Original name
PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION
Name in Czech
Navrh semiformalniho modelu anonymni komunikace
Authors
ŠPROJCAR, Josef (203 Czech Republic, guarantor, belonging to the institution)
Edition
International Journal of Foundations of Computer Science, Singapore, World Scientific Publishing, 2009, 0129-0541
Other information
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10000 1. Natural Sciences
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
Impact factor
Impact factor: 0.512
RIV identification code
RIV/00216224:14330/09:00065858
Organization unit
Faculty of Informatics
UT WoS
000266614100010
Keywords (in Czech)
anonymita, zaklady bezpecnosti, complexni komunikace, krypto protokoly, modularni pristup
Keywords in English
Anonymity; security foundations; complex communication; cryptographic protocols; modular approach
Tags
Tags
International impact, Reviewed
Změněno: 30/4/2014 10:00, RNDr. Pavel Šmerk, Ph.D.
V originále
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.
In Czech
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.
Links
| GA201/07/0603, research and development project |
| ||
| MSM0021622419, plan (intention) |
|