Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT)
Abstrakt

Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.

Klíčová slova

formální verifikace, bezpečnostní protokoly

Klíčová slova anglicky

formal verification, security protocols

Rok
2003
Strany
211–213
Sborník
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Konference
Student EEICT 2003
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"
}
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru