Publication Details

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.
English title
The Use of Tree-Automata in the Security Protocol Verification
Type
report
Language
Czech
Authors
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)
URL
Keywords

Tree Automata, Security Protocol, Verification

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.

Published
2004
Pages
1–17
Publisher
Ústav informačních systémů FIT VUT v Brně
Place
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"
}
Back to top