Detail publikace

The Security Protocol Design Using Genetic Algorithms Paradigms

OČENÁŠEK, P. 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. p. 576-580. ISBN: 80-214-2890-2.
Název česky
Návrh bezpečnostních protokolů za použití principů genetických algoritmů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Klíčová slova

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

Abstrakt

Tento příspěvek pojednává o evolučním přístupu při návrhu bezpečnostních protokolů.

Rok
2005
Strany
576–580
Sborník
Proceedings of the 11th Conference and Competition STUDENT EEICT 2005
Konference
STUDENT EEICT 2005, Brno, CZ
ISBN
80-214-2890-2
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
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"
}
Nahoru