Přístupnostní navigace
E-application
Search Search Close
Publication detail
OČENÁŠEK, P.
Original Title
Security Protocols: Analysis and Design
Type
conference paper
Language
English
Original 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.
Keywords
Security protocol, analysis, design, verification, genetic algorithm, evolutionary approach
Authors
RIV year
2006
Released
19. 4. 2006
Publisher
TU Vienna
Location
Vienna
ISBN
3-902463-05-8
Book
Proceedings of the Junior Scientist Conference 2006
Pages from
51
Pages to
52
Pages count
2
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" }