Thesis Details

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

Master's Thesis Student: Hadaš Petr Academic Year: 2007/2008 Supervisor: Očenášek Pavel, Mgr. Ing., Ph.D.
English title
Specifications Database of Security Protocols
Language
Czech
Abstract

This paper describes four tools for verification security protocols Athena, Casper, Isabelle and Murphi. Each tool is briefly characterized and implementation of protocol Needham Schroeder. One part of this paper is comparing of selected tools. The second part of this paper describes in detail a tool Athena and mentions examples of verified protocols. By each protocol is stated a specifications of communication, a detected attack and results of own verification. At the end compares this paper verification results with already publicated attacks.

Keywords

Security protocols, authentication, verification, Murphi, Isabelle, Athena, Casper, Woo Lam, Needham Schroeder, Yahalom, Andrew Secure RPC

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Files
Status
defended, grade C
Date
17 June 2008
Reviewer
Trchalík Roman, Mgr., Ph.D.
Committee
Kunovský Jiří, doc. Ing., CSc. (DITS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Motyčka Arnošt, doc. Ing., CSc. (Mendelu), člen
Orság Filip, Ing., Ph.D. (DITS FIT BUT), člen
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), člen
Citation
HADAŠ, Petr. Databáze specifikací bezpečnostních protokolů. Brno, 2008. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2008-06-17. Supervised by Očenášek Pavel. Available from: https://www.fit.vut.cz/study/thesis/4552/
BibTeX 
@mastersthesis{FITMT4552,
    author = "Petr Hada\v{s}",
    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/4552/"
}

Theses

Back to top