Conference paper

 
Očenášek, P.: Security Protocols: Analysis and Design, In: Proceedings of the Junior Scientist Conference 2006, Vienna, AT, TUV, 2006, p. 51-52, ISBN 3-902463-05-8
Publication language:english
Original title:Security Protocols: Analysis and Design
Title (cs):Bezpečnostní protokoly: analýza a design
Pages:51-52
Proceedings:Proceedings of the Junior Scientist Conference 2006
Conference:Junior Scientist Conference 2006
Place:Vienna, AT
Year:2006
ISBN:3-902463-05-8
Publisher:TU Vienna
Keywords
Security protocol, analysis, design, verification, genetic algorithm, evolutionary approach
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenáš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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8025}
}