Publication Details

Security Protocols: Analysis and Design

OČENÁŠEK, P. Security Protocols: Analysis and Design. In Proceedings of the Junior Scientist Conference 2006. Vienna: TU Vienna, 2006. p. 51-52. ISBN: 3-902463-05-8.

Czech title

Bezpečnostní protokoly: analýza a design

Type

conference paper

Language

English

Authors

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

Keywords

Security protocol, analysis, design, verification, genetic algorithm, evolutionary approach

Abstract

The security protocols are used to establish secure communication over insecure open networks and distributed systems. In the first part of this paper the brief introduction to the analysis and design area is given, followed by the description of the author’s presented evolutionary approach, which seems to be useful for automating the security protocol design.

Published

2006

Pages

51–52

Proceedings

Proceedings of the Junior Scientist Conference 2006

ISBN

3-902463-05-8

Publisher

TU Vienna

Place

Vienna

BibTeX

@inproceedings{BUT22184,
  author="Pavel {Očenášek}",
  title="Security Protocols: Analysis and Design",
  booktitle="Proceedings of the Junior Scientist Conference 2006",
  year="2006",
  pages="51--52",
  publisher="TU Vienna",
  address="Vienna",
  isbn="3-902463-05-8"
}