Využití logiky v bezpečnosti IT

Petr Švarný

Diplomová práce

The use of logic in IT security

Anotace:

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.

Klíčová slova

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

Keywords

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 21. 8. 2011

Obhajoba závěrečné práce

• Obhajoba proběhla 4. 2. 2013
• Vedoucí: Václav Řepa
• Oponent: Vladimír Mařík

Vysoká škola ekonomická v Praze

Magisterský studijní program / obor:
Aplikovaná informatika / Kognitivní informatika