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

Files for download

    Last update: