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