Publication Details

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.

Czech title

Automatický návrh bezpečnostních protokolů

Type

conference paper

Language

English

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)

URL

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

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"
}