Detail výsledku

Automatic Design of Security Protocols

OČENÁŠEK, P. Automatic Design of Security Protocols. Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006. p. 49-54. ISBN: 80-969202-2-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
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

URL
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",
  url="http://www.ui.sav.sk/diag/pad06/program.html"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru