Publication detail

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

OČENÁŠEK, P.

Original Title

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

English Title

The Use of Tree-Automata in the Security Protocol Verification

Type

report

Language

Czech

Original Abstract

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

English abstract

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.

Keywords

Stromový automat, bezpečnostní protokol, verifikace

Key words in English

Tree Automata, Security Protocol, Verification

Authors

OČENÁŠEK, P.

Released

1. 12. 2004

Publisher

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

Location

Brno

Pages from

1

Pages to

17

Pages count

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