Formální analýza kryptografických protokolů

Simple item page
but.committeedoc. Ing. Václav Zeman, Ph.D. (předseda) doc. Ing. Martin Vaculík, Ph.D. (místopředseda) Ing. Pavel Nevlud (člen) doc. Mgr. Karel Slavíček, Ph.D. (člen) doc. Ing. Zdeněk Martinásek, Ph.D. (člen) doc. Ing. Pavel Šilhavý, Ph.D. (člen)cs
but.defenceTestoval jste v rámci praktické části (dostupnými prostředky) některý z protokolů, u kterého byl již při návrhu použit Dolev-Yao model?cs
but.jazykčeština (Czech)
but.programElektrotechnika, elektronika, komunikační a řídicí technikacs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorČlupek, Vlastimilcs
dc.contributor.authorPetrovský, Petercs
dc.contributor.refereeMartinásek, Zdeněkcs
dc.date.created2015cs
dc.description.abstractTáto diplomová práca sa zaoberá kryptografiou. Popisuje sa jej základné rozdelenie a problémy teórie čísel, ktoré musí riešiť. Taktiež sa zaoberá metódami, ktoré sa použí- vajú k ohodnoteniu formálnej bezpečnosti kryptografických protokolov z matematického hľadiska. Nakoniec sa analyzujú nástroje využívané k automatickému a poloautomatic- kému vyhodnoteniu bezpečnosti kryptografických protokolov. Popisuje sa spôsob práce s týmito nástrojmi a nakoniec sa otestuje bezpečnosť protokolov Kerberos, EKE a protokolov jednosmernej autentizácie využívajúcich symetrickú kryptografiu, funkciu HMAC a hashovaciu funkciu postupne v nástrojoch AVISPA, ProVerif a Scyther. Na záver je porovnanie výsledkov.cs
dc.description.abstractThis diploma thesis deals with cryptography. It describes its basic allocation and problems of number theory that needs to be addressed. It also deals with methods used to review the formal security of cryptographic protocols from a mathematical point of view. It analyse the tools used to automatic and semi-automatic evaluation of the safety of cryptographic protocols. It describes the process of working with these tools and finally test the security of protocols Kerberos, EKE and Unilateral authentication using symmetric cryptography, HMAC function and hash function. These tests are in tools AVISPA, ProVerif and Scyther. At the end is comparison of results.en
dc.description.markAcs
dc.identifier.citationPETROVSKÝ, P. Formální analýza kryptografických protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2015.cs
dc.identifier.other85380cs
dc.identifier.urihttp://hdl.handle.net/11012/40020
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectKyptografiacs
dc.subjectDolev-Yaocs
dc.subjectBAN logikacs
dc.subjectAVISPAcs
dc.subjectProVerifcs
dc.subjectScythercs
dc.subjectKerberoscs
dc.subjectEKEcs
dc.subjectjednosmerná autentizáciacs
dc.subjectanalýzacs
dc.subjectCryptographyen
dc.subjectDolev-Yaoen
dc.subjectBAN logicen
dc.subjectAVISPAen
dc.subjectProVerifen
dc.subjectScytheren
dc.subjectKerberosen
dc.subjectEKEen
dc.subjectUnilateral authenticationen
dc.subjectanalysisen
dc.titleFormální analýza kryptografických protokolůcs
dc.title.alternativeFormal analysis of cryptographic protocolsen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2015-06-11cs
dcterms.modified2015-06-15-07:23:16cs
eprints.affiliatedInstitution.facultyFakulta elektrotechniky a komunikačních technologiícs
sync.item.dbid85380en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 13:20:12en
sync.item.modts2025.01.15 21:16:53en
thesis.disciplineTelekomunikační a informační technikacs
thesis.grantorVysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. Ústav telekomunikacícs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.44 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
appendix-1.zip
Size:
19.55 KB
Format:
zip
Description:
appendix-1.zip
Download
Thumbnail Image
Name:
review_85380.html
Size:
4.41 KB
Format:
Hypertext Markup Language
Description:
file review_85380.html
Download
Collections
2015