Thesis Details

Databáze specifikací bezpečnostních protokolů

Master's Thesis Student: Ondráček David Academic Year: 2007/2008 Supervisor: Očenášek Pavel, Mgr. Ing., Ph.D.
English title
Specifications Database of Security Protocols
Language
Czech
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.

Keywords

Security, communication, security protocols, formal verification, protocol analysis, verification tools, authentication, confidentiality.

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Files
Status
defended, grade A
Date
19 June 2008
Reviewer
Trchalík Roman, Mgr., Ph.D.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Herout Adam, prof. Ing., Ph.D. (DCGM FIT BUT), člen
Linhart Miroslav, doc. Ing., CSc. (DCSY FIT BUT), člen
Návrat Pavol, prof. Ing., Ph.D. (FIIT STU), člen
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), člen
Citation
ONDRÁČEK, David. Databáze specifikací bezpečnostních protokolů. Brno, 2008. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2008-06-19. Supervised by Očenášek Pavel. Available from: https://www.fit.vut.cz/study/thesis/6162/
BibTeX 
@mastersthesis{FITMT6162,
    author = "David Ondr\'{a}\v{c}ek",
    type = "Master's thesis",
    title = "Datab\'{a}ze specifikac\'{i} bezpe\v{c}nostn\'{i}ch protokol\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6162/"
}

Theses

Back to top