Detail publikace

Evolutionary Approach in the Security Protocols Design

OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design. In Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005. p. 147-156. ISBN: 1-84628-311-6.
Název česky
Evoluční přístup při návrhu bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
URL
Klíčová slova

Security protocol, design, verification, modal logic, genetic algorithm, evolution, chromosome, crossover, state space exploring

Abstrakt

Článek se zabývá problematikou automatizovaného designu bezpečnostních protokolů.

Rok
2005
Strany
147–156
Sborník
Proceedings of the First European Conference on Computer Network Defence
ISBN
1-84628-311-6
Vydavatel
Springer Verlag
Místo
University of Glamorgan
BibTeX 
@inproceedings{BUT18276,
  author="Pavel {Očenášek}",
  title="Evolutionary Approach in the Security Protocols Design",
  booktitle="Proceedings of the First European Conference on Computer Network Defence",
  year="2005",
  pages="147--156",
  publisher="Springer Verlag",
  address="University of Glamorgan",
  isbn="1-84628-311-6",
  url="http://www.springerlink.com/content/t1j8n3500n6p6g4m/"
}
Nahoru