Publication Details

Evolutionary Approach in the Security Protocols Design

OČENÁŠEK Pavel. Evolutionary Approach in the Security Protocols Design. In: Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005, pp. 147-156. ISBN 1-84628-311-6.

Czech title

Evoluční přístup při návrhu bezpečnostních protokolů

Type

conference paper

Language

english

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)

URL

http://www.springerlink.com/content/t1j8n3500n6p6g4m/ HTML

Keywords

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

Abstract

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

Published

2005

Pages

147-156

Proceedings

Proceedings of the First European Conference on Computer Network Defence

Conference

1st European Conference on Computer Network Defence, Pontypridd, GB

ISBN

1-84628-311-6

Publisher

Springer Verlag

Place

University of Glamorgan, GB

BibTeX

@INPROCEEDINGS{FITPUB7951,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Evolutionary Approach in the Security Protocols Design",
   pages = "147--156",
   booktitle = "Proceedings of the First European Conference on Computer Network Defence",
   year = 2005,
   location = "University of Glamorgan, GB",
   publisher = "Springer Verlag",
   ISBN = "1-84628-311-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7951"
}