Detail publikace
Verifikace bezpečnostních protokolů
OČENÁŠEK Pavel. Verifikace bezpečnostních protokolů. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 211-213. ISBN 80-214-2377-3.
Název anglicky
Verification of Security Protocols
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Klíčová slova
formální verifikace, bezpečnostní protokoly
Abstrakt
Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.
Rok
2003
Strany
211-213
Sborník
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Konference
ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003, Brno, CZ
ISBN
80-214-2377-3
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7285, author = "Pavel O\v{c}en\'{a}\v{s}ek", title = "Verifikace bezpe\v{c}nostn\'{i}ch protokol\r{u}", pages = "211--213", booktitle = "Proceedings of the 9th Conference and Competition STUDENT EEICT 2003", year = 2003, location = "Brno, CZ", publisher = "Faculty of Electrical Engineering and Communication BUT", ISBN = "80-214-2377-3", language = "czech", url = "https://www.fit.vut.cz/research/publication/7285" }