Logika a kryptografie
| Název práce v češtině: | Logika a kryptografie |
|---|---|
| Název v anglickém jazyce: | Logic and cryptography |
| Klíčová slova: | kryptografie, ověřování protokolů, věta o správnosti, formální logická teorie, Goldreich-Levinova věta |
| Klíčová slova anglicky: | cryptography, protocol verifying, the Soundness theorem, formal logic theory, the Goldreich-Levin theorem |
| Akademický rok vypsání: | 2012/2013 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra algebry (32-KA) |
| Vedoucí / školitel: | prof. RNDr. Jan Krajíček, DrSc. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 28.12.2012 |
| Datum zadání: | 09.01.2013 |
| Datum potvrzení stud. oddělením: | 25.01.2013 |
| Datum a čas obhajoby: | 10.09.2015 00:00 |
| Datum odevzdání elektronické podoby: | 13.06.2015 |
| Datum odevzdání tištěné podoby: | 31.07.2015 |
| Datum proběhlé obhajoby: | 10.09.2015 |
| Oponenti: | Neil Thapen |
| Zásady pro vypracování |
| Impagliazzo a Kapron definovali formalní teorii pro formalizaci
elementárních kryptografických konstrukcí a pro dokazování jejich bezpečnosti. Jeřábek tuto teorii doplnil. Předmětem práce je předložit vlastní formalizaci některé základní konstrukce v této teorii. |
| Seznam odborné literatury |
| R. Impagliazzo and B.M. Kapron,
Logics for reasoning about cryptographic constructions, Proc. 44th IEEE Symposium on Foundations of Computer Science (FOCS), 2003, pp. 372-383. (též na http://webhome.cs.uvic.ca/~bmkapron/bibl.html ) E.Jeřábek, Weak pigeonhole principle, and randomized computation (kap.6), Ph.D. thesis, Faculty of Mathematics and Physics, Charles University, Prague, 2005, 116 pp. (na http://www.math.cas.cz/~jerabek/papers/phd.pdf) |
| Předběžná náplň práce |
| Formální logické teorie pro uvažování o kryptografii. |
| Předběžná náplň práce v anglickém jazyce |
| Formal logical theories for reasoning about cryptography. |