Kryptografická schémata používající diskrétní logaritmus

Abstract

V práci se snažíme podat ucelený přehled o problematice diskrétního logaritmu, zejména nových variant vyskytujících se v literatuře od roku 2001, založených na práci s eliptickými křivkami a Weilovým nebo Tateovým párováním. Podáváme přehled těchto nových problémů včetně redukcí mezi nimi. Uvádíme také vybraná schémata založená na těchto problémech, která jsou něčím vyjímečná - ať už tím, že v nich byl daný problém představen, nebo tím, že mají velmi praktické parametry, nebo tím, že měli jako první formálně dokázanou bezpečnost. V práci také podáváme přesné definice týkajících se pojmů, které jsou v literatuře opomíjeny a počítá se s tím, že si čtenář hodně souvislostí domyslí sám.

In the paper we try to give a view of the discrete logarithm problem, especially of related problems that appear in literature since 2001. These problems are based on a computation of Weil and Tate pairing on eliptic curves. We give a view of these problems including some reductions. We mention some chosen schemes based on these problems that are iteresting because of their practical parametrs, primaci of security proofs or because these schemes introduced the new problem. We try to cover precisely the most important definitions in this sector of cryptography because these definition are omitted in the literature and it is often left up to reader to presume details by himself.