Publication detail

Evolutionary Approach in the Security Protocols Design [PhD abstract]

OČENÁŠEK, P.

Original Title

Evolutionary Approach in the Security Protocols Design [PhD abstract]

English Title

Evolutionary Approach in the Security Protocols Design [PhD abstract]

Type

miscellaneous

Language

en

Original 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.

English 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.

Keywords

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

Released

04.03.2005

Location

Brno

Pages count

16

BibTex


@misc{BUT67152,
  author="Pavel {Očenášek}",
  title="Evolutionary Approach in the Security Protocols Design [PhD abstract]",
  annote="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.",
  chapter="67152",
  year="2005",
  month="march",
  type="miscellaneous"
}