Detail výsledku

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. 16 p.
Typ
různé
Jazyk
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2005
Strany
16
Vydavatel
Department of Information Systems FIT BUT
Místo
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="Other unclassified results"
}
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
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
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru