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
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"
}
Nahoru