Nástroje a interaktivní prostředí pro simulaci komunikace
| but.committee | doc. Dr. Ing. Dušan Kolář (předseda) prof. Ing. Tomáš Vojnar, Ph.D. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) prof. Ing. Martin Drahanský, Ph.D. (člen) Doc. Ing. Branislav Sobota, Ph.D. (člen) doc. Ing. František Zbořil, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm dobře (C). Otázky u obhajoby: Jak funguje verifikace bezpečnostních protokolů založená na kontrole modelem (model checking)? Podporuje tuto metodu některý z prezentovaných nástrojů? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Očenášek, Pavel | cs |
| dc.contributor.author | Mikuš, Peter | cs |
| dc.contributor.referee | Trchalík, Roman | cs |
| dc.date.created | 2010 | cs |
| dc.description.abstract | Komunikace mezi zařízeními se neobejde bez jasně definovaných pravidel. Tato pravidla se společně označují jako komunikační protokol. V této práci se zabývám komunikačními protokoly, konkrétně bezpečnostními protokoly. Jejich návrh vyžaduje speciální nástroje, které umožňují simulaci a odhalení bezpečnostních chyb v jejich návrhu. Zaměřuji se tedy na nástroje umožňující interaktivní simulaci bezpečnostních protokolů. Detailně popisuji jednotlivé nástroje a srovnávám jejich kladné a záporné vlastnosti. V dostupných nástrojích implementuji bezpečnostní protokoly. Výsledem práce jsou demostrační úlohy využitelné v síťových předmětech na FIT VUT. | cs |
| dc.description.abstract | Communication between devices should be based on predefined rules. These rules are called communication protocols. In this master thesis I am concerned with communication protocols, specially security protocols. Their design demand specialized tools, that will provide interactive simulations and security testing. I have described each of these tools in detail and mentioned about their properties, their pros and cons. In available tools I have implemented security protocols. The result is set of demonstration tasks that are usable in network courses at FIT VUT | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | MIKUŠ, P. Nástroje a interaktivní prostředí pro simulaci komunikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010. | cs |
| dc.identifier.other | 34534 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54348 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | komunikační protokol | cs |
| dc.subject | bezpečnostní protokol | cs |
| dc.subject | simulace | cs |
| dc.subject | nástroje | cs |
| dc.subject | útoky | cs |
| dc.subject | demonstrační úlohy | cs |
| dc.subject | Scyther. | cs |
| dc.subject | communication protocol | en |
| dc.subject | security protocol | en |
| dc.subject | simulation | en |
| dc.subject | tools | en |
| dc.subject | attacks | en |
| dc.subject | demonstration tasks | en |
| dc.subject | Scyther. | en |
| dc.title | Nástroje a interaktivní prostředí pro simulaci komunikace | cs |
| dc.title.alternative | Tools for Environment for the Simulation of Communication | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2010-06-22 | cs |
| dcterms.modified | 2020-05-09-23:39:52 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 34534 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:49:15 | en |
| sync.item.modts | 2025.01.15 13:57:40 | en |
| thesis.discipline | Informační systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |