Detail publikace

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

OČENÁŠEK, P. Využití stromových automatů při verifikaci bezpečnostních protokolů. Brno: Ústav informačních systémů FIT VUT v Brně, 2004. s. 1-17.
Název anglicky
The Use of Tree-Automata in the Security Protocol Verification
Typ
výzkumná zpráva
Jazyk
česky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
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
1–17
Vydavatel
Ústav informačních systémů FIT VUT v Brně
Místo
Brno
BibTeX 
@techreport{BUT192621,
  author="Pavel {Očenášek}",
  title="Využití stromových automatů při verifikaci bezpečnostních protokolů",
  year="2004",
  publisher="Ústav informačních systémů FIT VUT v Brně",
  address="Brno",
  pages="1--17",
  url="http://www.fit.vutbr.cz/~meduna/mti/2004_05/ocenasek.pdf"
}
Nahoru