Publication Details

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.
Czech title
Automatický návrh bezpečnostních protokolů
Type
conference paper
Language
English
Authors
URL
Keywords

Security Protocol, Design, Verification, Evolutionary Approach

Abstract

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

Published
2006
Pages
49–54
Proceedings
Počítačové architektúry & diagnostika 2006
ISBN
80-969202-2-7
Publisher
Slovak Academy of Science
Place
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"
}
Back to top