Detail publikačního výsledku

The Security Protocol Design Using Genetic Algorithms Paradigms

OČENÁŠEK, P.

Original Title

The Security Protocol Design Using Genetic Algorithms Paradigms

English Title

The Security Protocol Design Using Genetic Algorithms Paradigms

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

security protocol, design, genetic algorithm, evolutionary approach, verification, formal specification, BAN logic

Key words in English

security protocol, design, genetic algorithm, evolutionary approach, verification, formal specification, BAN logic

Authors

OČENÁŠEK, P.

Released

04.03.2005

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-2890-2

Book

Proceedings of the 11th Conference and Competition STUDENT EEICT 2005

Pages from

576

Pages to

580

Pages count

5

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@inproceedings{BUT21452,
  author="Pavel {Očenášek}",
  title="The Security Protocol Design Using Genetic Algorithms Paradigms",
  booktitle="Proceedings of the 11th Conference and Competition STUDENT EEICT 2005",
  year="2005",
  pages="576--580",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2890-2"
}