Databáze specifikací 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 | Ondráček, David | cs |
| dc.contributor.referee | Trchalík, Roman | cs |
| dc.date.created | cs | |
| dc.description.abstract | Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool. | cs |
| dc.description.abstract | Original protocols, which were created during early development of computer networks, no longer provide sufficient security. This is the reason why new protocols are developed and implemented. The important component of this process is formal verification, which is used to analyze the developed protocols and check whether a successful attack is possible or not. This thesis presents selected security protocols and tools for their formal verification. Further, the selected protocols are specified in LySa calculus and results of their analysis using LySatool are presented and discussed. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | ONDRÁČEK, D. Databáze specifikací bezpečnostních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. . | cs |
| dc.identifier.other | 25145 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/52680 | |
| 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čnost | cs |
| dc.subject | komunikace | cs |
| dc.subject | bezpečnostní protokoly | cs |
| dc.subject | formální verifikace | cs |
| dc.subject | analýza protokolů | cs |
| dc.subject | verifikační nástroje | cs |
| dc.subject | autentizace | cs |
| dc.subject | důvěrnost. | cs |
| dc.subject | Security | en |
| dc.subject | communication | en |
| dc.subject | security protocols | en |
| dc.subject | formal verification | en |
| dc.subject | protocol analysis | en |
| dc.subject | verification tools | en |
| dc.subject | authentication | en |
| dc.subject | confidentiality. | en |
| dc.title | Databáze specifikací bezpečnostních protokolů | cs |
| dc.title.alternative | Specifications Database 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:40:33 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25145 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:03:10 | en |
| sync.item.modts | 2025.01.17 14:52:17 | 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 |