Original title:
Využití logiky v bezpečnosti IT
Translated title:
The use of logic in IT security
Authors:
Švarný, Petr ; Řepa, Václav (advisor) ; Mařík, Vladimír (referee) Document type: Master’s theses
Year:
2011
Language:
cze Publisher:
Vysoká škola ekonomická v Praze Abstract:
[cze][eng] 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.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:
Combinatorics; Dynamic epistemic logic; Modal logic; Russian cards problem; Security; Bezpečnost; Dynamické epistemické logiky; Kombinatorika; Modální logika; Ruský karetní problém
Institution: University of Economics, Prague
(web)
Document availability information: Available in the digital repository of the University of Economics, Prague. Original record: http://www.vse.cz/vskp/eid/34696