ŠPROJCAR, Josef.
Proposal of semiformal model of anonymity based cryptographic tasks and protocols and their analyses (Proposal of semiformal model of anonymity based cryptographic tasks and protocols and their analyse). Brno: Fakulta Informatiky, 2008.