Petr Švarný
Diplomová práce
Využití logiky v bezpečnosti IT
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 …víceAbstract:
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 …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 21. 8. 2011
Identifikátor:
http://www.vse.cz/vskp/eid/34696
Obhajoba závěrečné práce
- Obhajoba proběhla 4. 2. 2013
- Vedoucí: Václav Řepa
- Oponent: Vladimír Mařík
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Vysoká škola ekonomická v Prazehttp://www.vse.cz/vskp/eid/34696
Vysoká škola ekonomická v Praze
Magisterský studijní program / obor:
Aplikovaná informatika / Kognitivní informatika
Práce na příbuzné téma
-
Kybernetická bezpečnost - Security Operations Center
Jiří Molák -
Analysis of Security-as-a-Service solutions for SOHO
Adam Hlaváček -
Framework pro implementaci Cyber Security Operations Centra (CSOC) ve veřejné instituci
Serhii Teslenko -
Linking Development and Security - Critical Analysis of Human Security
Lenka DUŠKOVÁ -
On selected end-user issues in usable security
Vlasta Šťavová -
System for monitoring selected security-related aspects of online services
Šimon Berka -
Space Security
Patrik Martínek