Detail publikace

Verifikace bezpečnostních protokolů

OČENÁŠEK, P. Verifikace bezpečnostních protokolů. 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
česky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
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
Student EEICT 2003, Brno, CZ
ISBN
80-214-2377-3
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno
BibTeX 
@inproceedings{BUT14207,
  author="Pavel {Očenášek}",
  title="Verifikace bezpečnostních protokolů",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="211--213",
  publisher="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
  address="Brno",
  isbn="80-214-2377-3"
}
Nahoru