Detail publikace

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

OČENÁŠEK, P.

Originální název

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

Anglický název

The Use of Tree-Automata in the Security Protocol Verification

Typ

výzkumná zpráva

Jazyk

čeština

Originální abstrakt

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

Anglický abstrakt

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 v angličtině

Tree Automata, Security Protocol, Verification

Autoři

OČENÁŠEK, P.

Vydáno

1. 12. 2004

Nakladatel

Ústav informačních systémů FIT VUT v Brně

Místo

Brno

Strany od

1

Strany do

17

Strany počet

17

URL

http://www.fit.vutbr.cz/~meduna/mti/2004_05/ocenasek.pdf

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"
}