Detail výsledku

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 (FIT)
Abstrakt

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

Abstrakt anglicky

Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified in detail, we cannot be certain what constitutes a flaw. The paper attempts to draw an approach based on the use of tree automata.

Klíčová slova

Stromový automat, bezpečnostní protokol, verifikace

Klíčová slova anglicky

Tree Automata, Security Protocol, Verification

URL
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"
}
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru