Důkazy bezpečnosti schémat symetrické kryptografie

Abstract

V předložené práci zkoumáme techniky důkazů bezpečnosti schémat symetrické kryptografie se zaměřením na schémata šifrování s ochranou integrity. Výsledky z této oblasti jsou v jednotlivých kapitolách vždy představeny a dokázány. Začínáme studiem bezpečnostních pojmů symetrické kryptografie a jejich vzájemnými vztahy. Dále následuje studium generických schémat šifrování s ochranou integrity a jejich bezpečnosti a zavedení hašovacích funkcí s klíčem a schématu NMAC. Posledním studovaným tématem jsou pak schémata šifrování s ochranou integrity s připojenými daty. V závěru pak uvedené důkazy popisujeme obecně a přinášíme jednotící pohled na předvedené důkazové techniky.

In the present work we investigate into security proofs techniques in symmetric cryptography with aim at authenticated encryption schemes. The results of this area are in each chapter shown and proven. We begin with studying security notions of symmetric cryptography and relations among them. Then we analyze security of authenticated encryption schemes designed by generic composition and introduce keyed hash functions and the NMAC scheme. The last topic we study is an authenticated encryption with associated data. Finally, we describe presented proofs generally and unify the methods used.