The use of logic in IT security
| Thesis title: | Využití logiky v bezpečnosti IT |
|---|---|
| Author: | Švarný, Petr |
| Thesis type: | Diplomová práce |
| Supervisor: | Řepa, Václav |
| Opponents: | Mařík, Vladimír |
| Thesis language: | Česky |
| Abstract: | 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. |
| Keywords: | Modální logika; Ruský karetní problém; Kombinatorika; Bezpečnost; Dynamické epistemické logiky |
| Thesis title: | The use of logic in IT security |
|---|---|
| Author: | Švarný, Petr |
| Thesis type: | Diploma thesis |
| Supervisor: | Řepa, Václav |
| Opponents: | Mařík, Vladimír |
| Thesis language: | Česky |
| Abstract: | 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. |
| Keywords: | Modal logic; Combinatorics; Dynamic epistemic logic; Security; Russian cards problem |
Information about study
| Study programme: | Aplikovaná informatika/Kognitivní informatika |
|---|---|
| Type of study programme: | Magisterský studijní program |
| Assigned degree: | Ing. |
| Institutions assigning academic degree: | Vysoká škola ekonomická v Praze |
| Faculty: | Faculty of Informatics and Statistics |
| Department: | Department of Information Technologies |
Information on submission and defense
| Date of assignment: | 21. 8. 2011 |
|---|---|
| Date of submission: | 21. 8. 2012 |
| Date of defense: | 4. 2. 2013 |
| Identifier in the InSIS system: | https://insis.vse.cz/zp/32662/podrobnosti |