Prostředky pro analýzu kryptografických protokolů
Loading...
Date
Authors
Duchovič, Adam
ORCID
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstract
Táto práca sa zaoberá prostriedkami na analýzu bezpečnostných protokolov. V úvode sú popísané požiadavky na bezpečnostné protokoly spoločne s možnosťami útokov na ne. Následne sú spomenuté základné techniky, špecifikačné jazyky a nástroje používané na formálnu verifikáciu protokolov. Ďalšia časť obsahuje popis najznámejších protokolov spoločne s ich neformálnymi zápismi. V práci sú spomenuté viaceré medzinárodné hodnotiace štandardy používané v oblasti informačných technológií. Záver práce obsahuje detailnejší popis dvoch vybraných nástrojov (AVISPA, Scyther). Tieto nástroje a ich výstupy sú porovnané podľa navrhnutej metodiky.
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of the thesis key goals of security protocols are mentioned and also basic attacks on them are illustrated. Subsequently basic verification techniques, specification languages and verification tools are described. Next part of thesis contains description of protocols in common syntax. Then the main standards used for evaluation of information security products are mentioned. In the end of thesis two well-known verification tools – AVISPA and Scyther - are described and compared to designed methodology of comparing verification tools and their outputs.
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of the thesis key goals of security protocols are mentioned and also basic attacks on them are illustrated. Subsequently basic verification techniques, specification languages and verification tools are described. Next part of thesis contains description of protocols in common syntax. Then the main standards used for evaluation of information security products are mentioned. In the end of thesis two well-known verification tools – AVISPA and Scyther - are described and compared to designed methodology of comparing verification tools and their outputs.
Description
Citation
DUCHOVIČ, A. Prostředky pro analýzu kryptografických protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2011.
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Telekomunikační a informační technika
Comittee
doc. Ing. Karel Burda, CSc. (předseda)
prof. Ing. Miroslav Vozňák, Ph.D. (místopředseda)
doc. Ing. Kamil Říha, Ph.D. (člen)
Ing. Radim Pust, Ph.D. (člen)
Ing. Stanislav Uchytil, Ph. D. (člen)
Ing. Tomáš Pelka (člen)
Ing. Ondřej Morský (člen)
Date of acceptance
2011-06-08
Defence
Otázky:
- Uveďte tabulku, kde budou verifikační nástroje z kap. 5 porovnány z hlediska podstaty nástroje, z hlediska vhodné , resp. nevhodné oblasti použití a z hlediska úspěšnosti nástroje v nalézání slabin.
- Specifikace protokolů, které uvádíte v kap. 10.1, respektive v přílohách C až F, jsou vytvořeny Vámi?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení