Show simple item record

Specification Languages and Tools for Analysis and Verification of Security Protocols

dc.contributor.advisorOčenášek, Pavelcs
dc.contributor.authorPtáček, Michalcs
dc.date.accessioned2020-05-22T11:07:44Z
dc.date.available2020-05-22T11:07:44Z
dc.date.createdcs
dc.identifier.citationPTÁČ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.other15203cs
dc.identifier.urihttp://hdl.handle.net/11012/53974
dc.description.abstractTato 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.abstractThis 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.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectNástrojecs
dc.subjectprotokolcs
dc.subjectbezpečnostcs
dc.subjectOtway-Reescs
dc.subjectYahalomcs
dc.subjectNeedham-Schroedercs
dc.subjectverifikace protokolůcs
dc.subjectToolsen
dc.subjectprotocolen
dc.subjectsecurityen
dc.subjectOtway-Reesen
dc.subjectYahalomen
dc.subjectNeedham-Schroederen
dc.subjectprotocol verificationen
dc.titleSpecifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolůcs
dc.title.alternativeSpecification Languages and Tools for Analysis and Verification of Security Protocolsen
dc.typeTextcs
dcterms.modified2020-05-09-23:39:46cs
thesis.disciplineInformační systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
sync.item.dbid15203en
sync.item.dbtypeZPen
sync.item.insts2020.05.22 13:07:44en
sync.item.modts2020.05.22 12:25:47en
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
dc.contributor.refereeTrchalík, Romancs
dc.description.markAcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
but.committeecs
but.defencecs
but.resultpráce byla úspěšně obhájenacs
but.programInformační technologiecs
but.jazykčeština (Czech)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record