Využití logiky v bezpečnosti IT

Petr Švarný

Master's thesis

The use of logic in IT security

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.

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

Modální logika, Ruský karetní problém, Kombinatorika, Bezpečnost, Dynamické epistemické logiky

Keywords

Modal logic, Combinatorics, Dynamic epistemic logic, Security, Russian cards problem

Language used: Czech

Date on which the thesis was submitted / produced: 21. 8. 2011

Thesis defence

• Date of defence: 4. 2. 2013
• Supervisor: Václav Řepa
• Reader: Vladimír Mařík

Vysoká škola ekonomická v Praze

Master programme / field:
Aplikovaná informatika / Kognitivní informatika