Publication detail

Automatic Design of Security Protocols

OČENÁŠEK, P.

Original Title

Automatic Design of Security Protocols

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Security Protocol, Design, Verification, Evolutionary Approach

Authors

OČENÁŠEK, P.

RIV year

2006

Released

18. 9. 2006

Publisher

Slovak Academy of Science

Location

Bratislava

ISBN

80-969202-2-7

Book

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

Pages from

49

Pages to

54

Pages count

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