Conference paper

OČENÁŠEK Pavel. The Security Protocol Design Using Genetic Algorithms Paradigms. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 576-580. ISBN 80-214-2890-2.
Publication language:english
Original title:The Security Protocol Design Using Genetic Algorithms Paradigms
Title (cs):Návrh bezpečnostních protokolů za použití principů genetických algoritmů
Pages:576-580
Proceedings:Proceedings of the 11th Conference and Competition STUDENT EEICT 2005
Conference:STUDENT EEICT 2005
Place:Brno, CZ
Year:2005
ISBN:80-214-2890-2
Publisher:Faculty of Electrical Engineering and Communication BUT
Keywords
security protocol, design, genetic algorithm, evolutionary approach, verification, formal specification, BAN logic
Annotation
This paper deals with the evolutionary approach for designing security protocols. In the first part, the introduction to security protocols is outlined followed by the explanation of principles of genetic algorithms. The second part presents the algorithm for designing security protocols. The whole design is determined by the genetic evolution. The genetic approach must be connected with the heuristic strategies to satisfy some design expectations. In the addition to the previous work, the idea of automatic designing tool and other directions in the topics research are outlined. The paper relates closely to the topic of the author's PhD thesis.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek},
   title = {The Security Protocol Design Using Genetic
	Algorithms Paradigms},
   pages = {576--580},
   booktitle = {Proceedings of the 11th Conference and Competition STUDENT
	EEICT 2005},
   year = {2005},
   location = {Brno, CZ},
   publisher = {Faculty of Electrical Engineering and Communication BUT},
   ISBN = {80-214-2890-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7722}
}

Your IPv4 address: 52.200.130.163
Switch to https