Publication Details

Evolutionary Approach in the Security Protocols Design [PhD abstract]

OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design [PhD abstract]. Brno: Department of Information Systems FIT BUT, 2005. p. 0-0.

Czech title

Evoluční přístup při návrhu bezpečnostních protokolů [teze PhD práce]

Type

miscellaneous

Language

English

Authors

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

Keywords

genetic algorithm, security protocol, modal logic, design, 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

Publisher

Department of Information Systems FIT BUT

Place

Brno

BibTeX

@misc{BUT67152,
  author="Pavel {Očenášek}",
  title="Evolutionary Approach in the Security Protocols Design [PhD abstract]",
  year="2005",
  pages="16",
  publisher="Department of Information Systems FIT BUT",
  address="Brno",
  note="miscellaneous"
}