Thesis Details

Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů

Master's Thesis Student: Ptáček Michal Academic Year: 2006/2007 Supervisor: Očenášek Pavel, Mgr. Ing., Ph.D.
English title
Specification Languages and Tools for Analysis and Verification of Security Protocols
Language
Czech
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.

Keywords

Tools, protocol, security, Otway-Rees, Yahalom, Needham-Schroeder, protocol verification

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Files
Status
defended, grade A
Date
21 June 2007
Reviewer
Trchalík Roman, Mgr., Ph.D.
Committee
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT), předseda
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Sumec Stanislav, Ing., Ph.D. (DCGM FIT BUT), člen
Šafařík Jiří, prof. Ing., CSc. (WBU in Pilsen), člen
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), člen
Zendulka Jaroslav, doc. Ing., CSc. (DIFS FIT BUT), člen
Citation
PTÁČEK, Michal. Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů. Brno, 2007. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2007-06-21. Supervised by Očenášek Pavel. Available from: https://www.fit.vut.cz/study/thesis/4415/
BibTeX 
@mastersthesis{FITMT4415,
    author = "Michal Pt\'{a}\v{c}ek",
    type = "Master's thesis",
    title = "Specifika\v{c}n\'{i} jazyky a n\'{a}stroje pro anal\'{y}zu a verifikaci bezpe\v{c}nostn\'{i}ch protokol\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2007,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/4415/"
}

Theses

Back to top