Thesis Details
Databáze specifikací bezpečnostních protokolů
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.
Security, communication, security protocols, formal verification, protocol analysis, verification tools, authentication, confidentiality.
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
@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/" }