Limitations of Incompressible Encodings
Limitace nekomprimovatelných kódování
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/128272Identifikátory
SIS: 233450
Kolekce
- Kvalifikační práce [11211]
Autor
Vedoucí práce
Oponent práce
Mareš, Martin
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná matematika
Katedra / ústav / klinika
Informatický ústav Univerzity Karlovy
Datum obhajoby
8. 7. 2021
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
nekomprimovatelná kódování|nepodmíněná bezpečnost|plain modelKlíčová slova (anglicky)
incompressible encodings|plain model|information-theoretic securityTato práce se zabývá limitacemi nekomprimovatelných kódování s nepodmíněnou bezpečností. Představujeme trhliny v existujícím důkazu nemožnosti konstrukce nekomprimovatelných kódování bez výpočetních omezení na útočníka. Naším hlavním přínosem je nový kompletní důkaz tohoto negativního výsledku. V první části práce představujeme základy teorie nekomprimovatelných kódování včetně nutných definic. Dále prezentujeme nedostatky v původním důkazu a konstruujeme protipříklady. Zbývající část práce tvoří důkaz nemožnosti existence netriviálních nekomprimova- telných kódování bez výpočetních omezení kladených na útočníka. Ten budujeme v několika krocích, kde v každém kroku zahrnujeme více kódování. Na konci práce představujeme útočníka, který je schopný prolomit libovolné netriviální nekompri- movatelné kódování. 1
This thesis studies the limitations of incompressible encodings with information- theoretic security. We demonstrate a flaw in the existing proof of the impossibility of constructing incompressible encodings information-theoretically. Our main contribu- tion is a full proof of impossibility of existence of non-trivial information-theoretically secure incompressible encoding schemes. In the first part of the thesis, we introduce the basics of incompressible encodings and provide the necessary definitions. Next, we present the flaws in the existing argument and provide explicit counterexamples to them. Throughout the rest of the thesis, we gradually construct a complete proof. We start by showing the impossibility under a few additional restrictions on the correctness and structure of the schemes that we subsequently remove one by one. Finally, we present an adversary able to break any non-trivial incompressible encoding scheme. 1