Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů
| 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 | Ptáček, Michal | cs |
| dc.contributor.referee | Trchalík, Roman | cs |
| dc.date.created | cs | |
| dc.description.abstract | Tato diplomová práce se zabývá analýzou verifikačních nástrojů, které jsou používané pro automatickou verifikaci převážně bezpečnostních protokolů. Bezpečnostní protokoly se používají pro vytvoření privátních komunikačních kanálů v nezabezpečené síti. Bezpečnost nebude nikdy absolutní, a proto je nezbytné stále hledat chyby v bezpečnostních protokolech a podle nich pak tyto protokoly vylepšovat. V rámci této diplomové práce jsem se zaměřil na hledání různých verifikačních nástrojů na Internetu, následně jsem podle dostupných informací každý nalezený nástroj popsal v této práci tak, aby si čitatel mohl snadno vybrat, který nástroj se hodí zrovna pro ten jeho konkrétní problém. Na konci popisu jednotlivých nástrojů jsem hlavní klady a zápory shrnul do několika bodů. | cs |
| dc.description.abstract | This diploma thesis is focused on the analysis of security tools, which are commonly used for automatic verification of security protocols mainly. These security protocols are used for creation of private communication channells in insecured networks. Security will never be perfect, so finding of weaknesses in security protocols is always necessary and we need to improve these protocols. In this diploma thesis I have focused on looking for various verification tools on Internet. Subsequently, I have described each tool in this thesis, in way that each reader can easily find out, which tool is for him useful and which is not. I have summarized main benefits and drawbacks of each tool at the end of his description. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | PTÁČEK, M. Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. . | cs |
| dc.identifier.other | 15203 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53974 | |
| 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 | Nástroje | cs |
| dc.subject | protokol | cs |
| dc.subject | bezpečnost | cs |
| dc.subject | Otway-Rees | cs |
| dc.subject | Yahalom | cs |
| dc.subject | Needham-Schroeder | cs |
| dc.subject | verifikace protokolů | cs |
| dc.subject | Tools | en |
| dc.subject | protocol | en |
| dc.subject | security | en |
| dc.subject | Otway-Rees | en |
| dc.subject | Yahalom | en |
| dc.subject | Needham-Schroeder | en |
| dc.subject | protocol verification | en |
| dc.title | Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů | cs |
| dc.title.alternative | Specification Languages and Tools for Analysis and Verification of Security Protocols | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.modified | 2020-05-09-23:39:46 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 15203 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:43:10 | en |
| sync.item.modts | 2025.01.15 18:34:03 | 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 |