Analýza vybraných bezpečnostních protokolů
| but.committee | prof. Ing. Václav Dvořák, DrSc. (předseda) prof. Ing. Miroslav Švéda, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) doc. Ing. Zdeněk Kotásek, CSc. (člen) Prof. Ing. Jaromír Krejčíček, CSc. (č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ázku oponenta a na další doplňující dotazy členů komise. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené dotazy rozhodla práci hodnotit stupněm " B ". 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 | Malecký, Marek | cs |
| dc.contributor.referee | Trchalík, Roman | cs |
| dc.date.created | 2010 | cs |
| dc.description.abstract | Předmětem této diplomové práce je studium dostupných bezpečnostních protokolů a nástrojů sloužících k jejich verifikaci. První část práce se krátce věnuje popisu pojmů souvisejících s oblastí bezpečnostních protokolů a verifikačních logik. Druhá část již přímo uvádí jednotlivé protokoly spolu s nalezenými útoky a chybami v návrhu. V další kapitole jsou detailněji popsány nejdůležitější nástroje pro automatickou analýzu bezpečnostních protokolů. Hlavní část práce se zabývá verifikací vybraných bezpečnostních protokolů ve zvoleném nástroji Scyther. Na závěr jsou uvedeny příklady víceprotokolových útoků spolu s přehledovou tabulkou. | cs |
| dc.description.abstract | The subject of this thesis is to study available security protocols and tools for their verification. The first part is devoted to briefly describe the concepts related to the area of security protocols and verification logics. The second part directly lists various protocols, along with attacks and errors found in design. Next chapter describes the most important tools for automatic analysis of security protocols in more detail. The main part deals with verification of security protocols selected in the chosen tool called Scyther. In conclusion, examples of multiprotocol attacks along with a summary table are displayed. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | MALECKÝ, M. Analýza vybraných bezpečnostních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010. | cs |
| dc.identifier.other | 34532 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54250 | |
| 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 | Bezpečnostní protokol | cs |
| dc.subject | útok na bezpečnostní protokol | cs |
| dc.subject | víceprotokolové útoky | cs |
| dc.subject | oboustranná autentizace | cs |
| dc.subject | verifikační logika | cs |
| dc.subject | Yahalom | cs |
| dc.subject | Isabelle | cs |
| dc.subject | AVISPA | cs |
| dc.subject | Scyther. | cs |
| dc.subject | Security protocol | en |
| dc.subject | attack on security protocol | en |
| dc.subject | multiprotocol attacks | en |
| dc.subject | mutual authentication | en |
| dc.subject | verification logic | en |
| dc.subject | Yahalom | en |
| dc.subject | Isabelle | en |
| dc.subject | AVISPA | en |
| dc.subject | Scyther. | en |
| dc.title | Analýza vybraných bezpečnostních protokolů | cs |
| dc.title.alternative | Analysis of Selected Security Protocols | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2010-06-24 | cs |
| dcterms.modified | 2020-05-09-23:39:51 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 34532 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:48:02 | en |
| sync.item.modts | 2025.01.15 13:19:11 | en |
| thesis.discipline | Počítačové systémy a sítě | 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 |