Faculty of Information Technology, BUT

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: TU Vienna, 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
TU Vienna
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 = "TU Vienna",
   ISBN = "3-902463-05-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8025"
}
Back to top