Detail publikace

Využití stromových automatů při verifikaci bezpečnostních protokolů

OČENÁŠEK Pavel. Využití stromových automatů při verifikaci bezpečnostních protokolů. Brno: Ústav informačních systémů FIT VUT v Brně, 2004.
Název anglicky
The Use of Tree-Automata in the Security Protocol Verification
Typ
výzkumná zpráva
Jazyk
čeština
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
URL
Klíčová slova

Stromový automat, bezpečnostní protokol, verifikace

Abstrakt

Práce se zabývá využitím stromových automatů při verifikaci bezpečnostních protokolů.

Rok
2004
Strany
17
Vydavatel
Ústav informačních systémů FIT VUT v Brně
Místo
Brno, CZ
BibTeX 
@TECHREPORT{FITPUB8264,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Vyu\v{z}it\'{i} stromov\'{y}ch automat\r{u} p\v{r}i verifikaci bezpe\v{c}nostn\'{i}ch protokol\r{u}",
   pages = 17,
   year = 2004,
   location = "Brno, CZ",
   publisher = "Department of Information Systems FIT BUT",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8264"
}
Nahoru