Publication Details

Security Protocols: Analysis and Design

OČENÁŠEK Pavel. Security Protocols: Analysis and Design. In: Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006, pp. 51-52. ISBN 3-902463-05-8.
Czech title
Bezpečnostní protokoly: analýza a design
Type
conference paper
Language
english
Authors
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
Conference
Junior Scientist Conference 2006, Vídeň, AT
ISBN
3-902463-05-8
Publisher
Technical University Wien
Place
Vienna, AT
BibTeX
@INPROCEEDINGS{FITPUB8025,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Security Protocols: Analysis and Design",
   pages = "51--52",
   booktitle = "Proceedings of the Junior Scientist Conference 2006",
   year = 2006,
   location = "Vienna, AT",
   publisher = "Technical University Wien",
   ISBN = "3-902463-05-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8025"
}
Back to top