Využití logiky v bezpečnosti IT
| Název práce: | Využití logiky v bezpečnosti IT |
|---|---|
| Autor(ka) práce: | Švarný, Petr |
| Typ práce: | Diplomová práce |
| Vedoucí práce: | Řepa, Václav |
| Oponenti práce: | Mařík, Vladimír |
| Jazyk práce: | Česky |
| Abstrakt: | Tato práce studuje užití dynamických epistemických logik pro zachování důvěrnosti informací. Základem je syntéza tří přístupů: bezpečnostních logiky A. Hommersoma, hodnověrnostní rámce a komunikační logiky A. Baltaga a S. Smets a studie tzv. Ruského karetního problému. V návaznosti na toto je prezentován také praktický model vytvořený v prostředí NetLogo pro ilustraci funkčnosti základních myšlenek. |
| Klíčová slova: | Modální logika; Ruský karetní problém; Kombinatorika; Bezpečnost; Dynamické epistemické logiky |
| Název práce: | The use of logic in IT security |
|---|---|
| Autor(ka) práce: | Švarný, Petr |
| Typ práce: | Diploma thesis |
| Vedoucí práce: | Řepa, Václav |
| Oponenti práce: | Mařík, Vladimír |
| Jazyk práce: | Česky |
| Abstrakt: | This thesis studies the use of dynamic epistemic logics for the sake of information privacy. The core of the work is the synthesis of three approaches: security logics from A. Hommersom, plausibility frames and communication logic from A. Baltag and S. Smets, and studies concerning the so called Russian cards protocol. Thereafter we present a program, made in the NetLogo environment, in order to demonstrate the workings of the basic ideas. |
| Klíčová slova: | Modal logic; Combinatorics; Dynamic epistemic logic; Security; Russian cards problem |
Informace o studiu
| Studijní program / obor: | Aplikovaná informatika/Kognitivní informatika |
|---|---|
| Typ studijního programu: | Magisterský studijní program |
| Přidělovaná hodnost: | Ing. |
| Instituce přidělující hodnost: | Vysoká škola ekonomická v Praze |
| Fakulta: | Fakulta informatiky a statistiky |
| Katedra: | Katedra informačních technologií |
Informace o odevzdání a obhajobě
| Datum zadání práce: | 21. 8. 2011 |
|---|---|
| Datum podání práce: | 21. 8. 2012 |
| Datum obhajoby: | 4. 2. 2013 |
| Identifikátor v systému InSIS: | https://insis.vse.cz/zp/32662/podrobnosti |