Security of cryptographic protocols
| Název práce v češtině: | |
|---|---|
| Název v anglickém jazyce: | Security of cryptographic protocols |
| Akademický rok vypsání: | 2012/2013 |
| Typ práce: | disertační práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra algebry (32-KA) |
| Vedoucí / školitel: | RNDr. Michal Hojsík, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 29.10.2012 |
| Datum zadání: | 29.10.2012 |
| Datum potvrzení stud. oddělením: | 05.12.2012 |
| Konzultanti: | RNDr. Bohuslav Rudolf |
| Zásady pro vypracování |
| Kryptografické protokoly jsou zkoumány dvěma základními způsoby – symbolicky a výpočetně. Důkazy v symbolickém modelu jsou snadněji realizovatelné, jejich vytváření a ověřování lze rozličně automatizovat. Nemají však takovou váhu jako důkazy ve výpočetním modelu. Dlouhou dobu se obě oblasti vyvíjely odděleně, k jejich propojení došlo v článku autorů Abadi a Rogaway [2], kde je ukázána výpočetní interpretace symbolických důkazů. Vztah obou modelů je od té doby předmětem výzkumu.
Práce by na jednu stranu měla směřovat k prohlubování výsledků o vztahu symbolických a výpočetních modelů, na druhou stranu by mohla výsledky aplikovat na určité konkrétní protokoly nebo třídy protokolů. |
| Seznam odborné literatury |
| [1] V. Cortier, S. Kremer, B. Warinschi: A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. J. Autom. Reasoning 46(3-4): 225-259 (2011)
[2] M. Abadi, P. Rogaway: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptology 20(3): 395 (2007) [3] D. Micciancio, B. Warinschi: Soundness of Formal Encryption in the Presence of Active Adversaries. TCC 2004: 133-151 (2004) [4] A. Datta, Security Analysis of Network Protocols: Compositional Reasoning and Complexity-theoretic Foundations, PhD Thesis, Computer Science Department, Stanford University, (2005) |