Důkazy bezpečnosti schémat symetrické kryptografie
Security Proofs in Symmetric Cryptography
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/27019Identifiers
Study Information System: 78648
Collections
- Kvalifikační práce [11214]
Author
Advisor
Referee
Hlaváč, Martin
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Mathematical Methods of Information Security
Department
Department of Algebra
Date of defense
24. 6. 2010
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Excellent
Keywords (Czech)
symetrická kryptografie, schémata šifrování s ochranou integrity, důkazy bezpečnostiKeywords (English)
symmetric cryptography, authenticated encryption, security proofsV 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.