Detail publikačního výsledku

Automatic Design of Security Protocols

OČENÁŠEK, P.

Originální název

Automatic Design of Security Protocols

Anglický název

Automatic Design of Security Protocols

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

Security protocols are becoming widely usedand many new protocols are being proposed. Since security protocols arenotoriously difficult to design, computer assistance in the design process isdesirable. This paper gives actual research results of the automated securityprotocols design. The research topic is very close to the author's dissertation.

Anglický abstrakt

Security protocols are becoming widely usedand many new protocols are being proposed. Since security protocols arenotoriously difficult to design, computer assistance in the design process isdesirable. This paper gives actual research results of the automated securityprotocols design. The research topic is very close to the author's dissertation.

Klíčová slova

Security Protocol, Design, Verification,Evolutionary Approach

Klíčová slova v angličtině

Security Protocol, Design, Verification,Evolutionary Approach

Autoři

OČENÁŠEK, P.

Vydáno

18.09.2006

Nakladatel

Slovak Academy of Science

Místo

Bratislava

ISBN

80-969202-2-7

Kniha

Počítačové architektúry & diagnostika 2006

Strany od

49

Strany do

54

Strany počet

6

URL

http://www.ui.sav.sk/diag/pad06/program.html

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",
  url="http://www.ui.sav.sk/diag/pad06/program.html"
}