Název:
Využití logiky v bezpečnosti IT
Překlad názvu:
The use of logic in IT security
Autoři:
Švarný, Petr ; Řepa, Václav (vedoucí práce) ; Mařík, Vladimír (oponent) Typ dokumentu: Diplomové práce
Rok:
2011
Jazyk:
cze
Nakladatel: Vysoká škola ekonomická v Praze
Abstrakt: [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.
Klíčová slova:
Bezpečnost; Dynamické epistemické logiky; Kombinatorika; Modální logika; Ruský karetní problém; Combinatorics; Dynamic epistemic logic; Modal logic; Russian cards problem; Security
Instituce: Vysoká škola ekonomická v Praze
(web)
Informace o dostupnosti dokumentu:
Dostupné v digitálním repozitáři VŠE. Původní záznam: http://www.vse.cz/vskp/eid/34696