Detail publikace

Automatic Design of Security Protocols

OČENÁŠEK, P. Automatic Design of Security Protocols. In Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006. p. 49-54. ISBN: 80-969202-2-7.
Název česky
Automatický návrh bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
URL
Klíčová slova

Security Protocol, Design, Verification, Evolutionary Approach

Abstrakt

Článek pojednává o automatickém návrhu bezpečnostních protokolů.

Rok
2006
Strany
49–54
Sborník
Počítačové architektúry & diagnostika 2006
ISBN
80-969202-2-7
Vydavatel
Slovak Academy of Science
Místo
Bratislava
BibTeX 
@inproceedings{BUT22256,
  author="Pavel {Očenášek}",
  title="Automatic Design of Security Protocols",
  booktitle="Počítačové architektúry & diagnostika 2006",
  year="2006",
  pages="49--54",
  publisher="Slovak Academy of Science",
  address="Bratislava",
  isbn="80-969202-2-7"
}
Nahoru