Detail publikačního výsledku

Evolutionary Approach in the Security Protocols Design

OČENÁŠEK, P.

Originální název

Evolutionary Approach in the Security Protocols Design

Anglický název

Evolutionary Approach in the Security Protocols Design

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

OČENÁŠEK, P.

Vydáno

15.12.2005

Nakladatel

Springer Verlag

Místo

University of Glamorgan

ISBN

1-84628-311-6

Kniha

Proceedings of the First European Conference on Computer Network Defence

Strany od

147

Strany do

156

Strany počet

10

URL

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

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/"
}