Detail výsledku

Evolutionary Approach in the Security Protocols Design

OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design. Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005. p. 147-156. ISBN: 1-84628-311-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Abstrakt

This paper proposes an evolutionary method that serves for designingsecurity protocols. The principles of security protocols are outlined,followed by the specification of modal logic that is used to encode thebelief and knowledge of communicating parties. The second partintroduces the evolutionary optimization framework and proposes thetechniques that can be used to automatically evolve basic securityprotocols.

Klíčová slova

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

URL
Rok
2005
Strany
147–156
Sborník
Proceedings of the First European Conference on Computer Network Defence
Konference
1st 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/"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru